To be honest, this comment section is a bit mind-blowing to me, it really just goes to show how the behaviour that I take for granted isn't at all the default for other people. I would never, ever, have thought about people wanting to maximise the windows without actually hiding the menu bar.