It seems to me that all the hard work had been done, and parties are willing to meet an agreement. As I understand it one side wants the option for the menu bar not to return and the other not want it to be mistakenly vanished. A middle ground could be a preference setting to hide/show it and another to preserve the state with a warning. That way experimenting newbies would be adverted, with the option to reverse things in preference dialog. Advaced users would have an always hidden menu bar (restored hidden state without keyboard shorcut is the same as always hidden no?). And middle users like me who wants sometimes to have it and sometimes not can have a unsetted keyboard shorcut documented either in the same preference dialog or in the manual. That a google search could reveal. What do you think?