Cependant, les extensions ont leur propre système de mise à jour à l'aide du gestionnaire d'extensions (menu Outils ▸ Gestionnaire d'extensions).