The auto-hiding header in full screen is a fantastic feature which I absolutely adore, but it's such a convincing replica of the window frame UI that I expect it to behave the same when I double-click on a blank space in the tab bar, and keep finding...