Mejor navegación de documentación con una nueva barra lateral

[Moin]

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