Auto-collegamento e barra laterale della documentazione

Il problema è stato risolto nel PR seguente:

5 Mi Piace