Hallo,
in meiner prefs.js finden sich etwa 20 Zeilen ähnlich zu dieser hier (zu verschiedenen Erweiterungen):
Jetzt habe ich natürlich erst mal rumgesucht, nicht so viel gefunden, u.a. das hier:
https://developer.mozilla.org/en/Extension
Leider kapiere ich (als Nicht-Entwickler) das nicht so ganz. Es hört sich so an, als müssten alle diese Einträge auf false gesetzt sein. In meinem Fall sieht es so aus, als ob die Erweiterungen gerade erst installiert seien (?). Das sind sie aber nicht.
Danke für Tipps.