spulciando in Configurazione-Sistema ho trovato questa opzione sulla quale non mi era mai caduto l'occhio, e non ho ben capito la sua funzionalità. neanche google sembra saperne niente...
serve per caso a controllare se ci sono nuove versioni delle estensioni installate??
