No, non si tratta di disinstallare un'estensione ormai inutile o che non è supportata dalla versione di Firefox che uso.
Ecco uno screenshot.
Come vedete, ho due estensioni uguali, solo che una funziona (tra l'altro, una è la versione 0.4.3.3 e l'altra la 0.4.2) e l'altra no.
Come dovrei fare ad eliminare l'estensione non funzionante che non è stata riconosciuta come versione obsoleta dell'estensione funzionante?