L'avevo anch'io (è TabBrowser Preferences, vero?), l'ho disinstallato ed ovviamente è andato a posto; comunque ora che hanno integrato nel browser molte delle funzionalità di questa estensione non è praticamente più necessaria.