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

[saquetim (Sérgio Saquetim)]

The issue should be resolved by:

DEV: Added enter hints for the quick search and sidebar filter

It’s already live on Meta