Betere navigatie in documentatie met een nieuwe zijbalk

[Moin]

It is still happening. I can reproduce it in Chrome and Edge, but not using the Firefox app.