Well I'll be. You learn a new hotkey every day.

Certainly feels like it predates the mouse, considering the innate right-handedness of the key combo.

That's where the "kill sticky headers" smart bookmark comes in handy: https://alisdair.mcdiarmid.org/kill-sticky-headers/