Also, I cannot reproduce now, but I notice that page up and page down BOTH do a page down in parts of the docs, or in one of the options of the docs (full page or small pages, don't know).
Fixed a bug in the Device OS firmware reference left navigation where clicking on a header that's an anchor within a page opened the next page instead.