(el navegador web puede ser configurado para que ejecute el Administrador de extensiones para este tipo de archivo).
(si votre navigateur Web peut être configuré pour lancer le Gestionnaire des extensions pour ce type de fichier).