The following URL: https://cocotb--4834.org.readthedocs.build/en/4834/building.html#scheduler (built from https://github.com/cocotb/cocotb/pull/4834) has been built with `git+https://github.com/pydata/pydata-sphinx-theme@151623d27c775a2706de7bbc7e8102f31fb76af5` which is the git hash of the merged #2185 and should also contain the scrollspy fixes of #2119. However, if you scroll up on that page so far that the "Regression Manager" heading has vanished at the bottom of the page, it is still highlighted even though "Cocotb" should now be highlighted.