Navigation pane in online user guide keeps scrolling back to top
In the online user guide, https://www.eclipse.org/comma/user_guide.html, if I click on a section in the pane on the left, the pane scrolls back to the top. This is inconvenient, e.g. if I want to look through sections in succession.