I just found the related bug report from earlier last year: https://bugzilla.gnome.org/show_bug.cgi?id=693459
The issue seems related to avoiding horizontal scrollbar at all costs ---which probably means it won't be fixed, since GNOME developers know best (!).
