More of an annoyance rather than a bug:

I noticed that the "offender" is this css rule. Once removed, the horizontal scrollbar is gone:

So, the question is: (why) do we need this css rule? If not, we could override it in the admin theme, but do we do that for 3rd party external libraries (that is jQuery UI)?