We’ve removed the option to disable the fixed top bar. We didn’t change the default. We’ve only removed the ability to change the default.

According to SEDE, we’ve got ~13k users with the fixed top bar disabled. To put this into context, 730k people have opted into either system or dark theme.

There are lots of smaller features that aren’t frequently used, but they don’t routinely introduce bugs in the way that this one has. Since this preference has caused more bugs than we’d like to admit, I’ve made the decision on behalf of front-end at Stack Overflow to kill it.

If you see anything that seems funky as a result of us unshipping this, please add an answer here and include your browser, version and OS.