Or, on a purely ad hoc basis, McDiarmid's "Kill Sticky Headers" (https://alisdair.mcdiarmid.org/kill-sticky-headers).
javascript:(function(){(function(){var%20i,elements=document.querySelectorAll('body%20*');for(i=0;i<elements.length;i++){var%20p=getComputedStyle(elements[i]).position;if(p==='fixed'||p==='sticky'||p==='-webkit-sticky'){elements[i].parentNode.removeChild(elements[i]);}}})()})()
It's basically the same but it also catches `sticky` and `-webkit-sticky`, which some sites use instead of `fixed`.I still frequent it for work, there's lots of great stories, but it's almost insufferable.
They don't mind that you feel that way; they still want to make it official.