Es hat sich nichts getan. Habe FF auch neu gestartet nach dem Deaktivieren.
Ich hatte vorher auch keine Erweiterungen hinzugefügt oder entfernt. Falls das eine Rolle spielt.
Ich habe mal im Profilordner nachgeschaut. Dort existiert überhaupt keine userChrome.css. Obwohl ich eine solche schon mal angelegt hatte, mithilfe dieses Forums, um gewisse Einstellungen zu haben, die nach manchen Updates nicht mehr automatisch dabei waren.
Kann es sein, dass die bei einem Update verschwinden? Dass es daran liegen könnte?