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 myself surprised until I realize that I'm actually in full screen mode and not maximized.
I would like to propose that double-clicking empty space on the top bar in full screen mode perform the same function as pressing the restore button (green button on MacOS) does, for more consistent ergonomics.