I didn’t know whether to report this as a bug (and where) as it relates to the front-end of the documentation. It seems that when you scroll the main content, the sidebar also “scrolls”. This is undesirable. On Chromium-browsers this even causes some delayed/slow scrolling in the main portion of the website. I tested it on both FF, Chrome, and Chromium Edge. E.g. this page 4.