Inhalt nur Müll
Das ist kein Müll. In der Original-userChrome.js sind eine ganze Reihe von Zeilen, die für unseren Zweck nicht gebraucht werden. Es sind aber auch die beiden Zeilen unserer userChrome.js dabei, nur dass in der Original-userChrome.js alle Zeilen auskommentiert sind und sie deshalb nicht wirkt.
Dankeschön für den Wink auf den Inhalt der userChrome.js.
Gern geschehen.