The navigation history on this page is janky. I'm not sure if it's every heading or every section, but as you scroll down the page you get more and more unanchored history points.