Habe inzwischen auch alle von dir angeführten obigen Dateien überprüft - sind alle vorhanden.
Gibt es denn für diese Beta eine besondere Extra - userChrome.js?
Oft wird eine userChrome.js mitgeliefert, da steht relativ viel Text drin, aber das sind alles nur Kommentare! Daher funktioniert dann auch kein Skript. In der von uns verwendeten userChrome.js sollte nur folgender Text stehen:
Wenn du also die userChrome.js mit den vielen Kommentarzeilen hast, lösche den Text heraus und füge die drei Zeilen aus dem Code-Kasten ein.