A questo punto:
DIY, ovvero FATELO DA VOI: disattivare l'aggiornamento di una estensione.Si deve creare una riga di questo tipo
user_pref("extensions.{GUID}.update.enabled", false);
nell'
user.js, dove GUID è l'identificativo univoco dell'estensione.
Per trovarlo, è sufficiente andare sul menu Aiuto --> Risoluzione dei problemi e alla voce Estensioni cercare quella su cui si desidera intervenire e leggere l'ID corrispondente sulla destra.
Alternativamente si può spacchettare il file XPI dell'estensione e si legge all'interno dell'install.rdf oppure si installa l'estensione
Extension Manager Extendedper vedere questo valore alfanumerico comparire subito prima della descrizione nel pannello Estensioni.
Un altro modo per ottenere il GUID è installare Mr Tech Local Install
che ha anche questa funzione (e ti pareva?)
Ciao