That's a fair point -- for whatever reason, I could never get into auto-hide for the menu bar (tho I do use it for the dock). I think maybe because I tend to tr

That's a fair point -- for whatever reason, I could never get into auto-hide for the menu bar (tho I do use it for the dock). I think maybe because I tend to trigger showing it accidentally too much (vs the dock on bottom where it's not an issue because usually there isn't other actionable stuff down there)? But definitely, if you like menu-bar autohide where you're coming from makes sense.