Tradotti titoli in docs.js che appaiono sul menu di sinistra