OK, schade dass es die Löschmöglichkeit per user.js nicht gibt.
Ein Herumwurschteln in allen Benutzerprofilen ist einfach schon zeitlich gar nicht praktikabel.
Dann werde ich die prefs.js doch einfach per Skript löschen. Passworte, Lesezeichen usw. bleiben ja erhalten - und mit den restlichen fehlenden Einstellungen muss man dann halt leben, so furchtbar viel wird man wahrscheinlich gar nicht merken. Ansonsten packe ich noch ein paar der fehlenden Einstellungen in die user.js..
Was mich ja noch einmal interessieren würde:
Wenn der verantwortliche Eintrag für die nicht funktionierenden Dropdownboxen etwas mit der Aufteilung auf Threads zu tun hat (habe ich das richtig verstanden?), wie kommt dadurch ein Fehler in fehlenden Dropdown-Elementen zustande? Das hat doch eigentlich überhaupt nichts miteinander zu tun (?). Oder wird da innerhalb eines einzigen HTML-Dokumentes die Darstellung der verschiedenen Elemente auf mehrere Kerne aufgeteilt - und der Kern, der den Inhalt der Dropdown-Box darstellen soll, ist dann nicht verfügbar? Das kann ich mir so ja eigentlich nicht wirklich vorstellen...