Navigazione della documentazione migliorata con una nuova barra laterale

[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