Ob da vielleicht was hinein muss, statt oder zusätzlich zum Chrome-Ordner meines Profilordners im home-Verzeichnis?
Der gehört da nicht hinein. Es gibt dann in der Datei omni.ja (ist eine gepackte Datei) noch einen Ordner chrome, der ist aber für uns irrelevant. Hauptsache den Ordner chrome gibt es im Profilverzeichnis. Die Datei userChrome.js im Ordner chrome des Profilverzeichnis darf nur Folgendes enthalten:
Wenn da eine Unmenge von Zeilen drin sind, lösche sie und füge nur die obigen drei Zeilen ein.