This is kind of a bummer because I want all the pixels. If they’re going to do this they might as well leave the menu bar up in full screen mode.
I use full screen mode most of the time and do prefer to have the menu bar suppressed as I don’t use it much. I’m normally more short of vertical space than horizontal.