Mise à jour automatique des extensions

Cette catégorie d'extensions (pour l'instant : les extensions liées à l'IA) sera installée dans un nouveau dossier distinct : « Extensions mises à jour automatiquement », au lieu du dossier extensions habituel. Cela permet de rechercher automatiquement les mises à jour et, le cas échéant, de mettre à jour ces extensions à chaque redémarrage de l'application, sans aucune intervention de l'utilisateur. Le gestionnaire d'extensions répertorie ces extensions comme les autres et affiche leur numéro de version.