Been auto-hiding the taskbar since Win 95, and feel the need for the feature all the more with the macOS dock. I doubt I’ve spent a collective hour without auto-hide on the dock in more than a decade of macOS :-)