Navigazione della documentazione migliorata con una nuova barra laterale

[Moin]

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