Dankeschön euch beiden Andreas und Endor!
Ich habe heute früh schnell die ersten Zwei in eine userChrome.css verschoben und sie funktionieren (noch).
Jetzt muss ich erst unseren Balkongarten wässern und anschliessend mache ich noch meinen Morgenspaziergang, bevor die grosse Hitze beginnt. Später geht's weiter.
Schade, die meisten Änderungen sind Firefoxintern ...