It's visible in the tab: https://i.imgur.com/UOvz505.png
I haven't used gnome in quite a while, so I'm not totally certain of what was before this change, but I wouldn't consider it problematic. I find that saving the extra 20 pixels at the top is good for the widescreen aspect ratio of most monitors.