Ich habe jetzt nur mal Letzteres installiert. Der Eintrag erscheint im Tab-Kontextmenü und der Haken wird auch gesetzt bzw. entfernt. Die Warnung zu eval() erscheint nicht, nur „gBrowserInit is not defined“.
Danke fürs Testen. Ich befürchte, man muss Alices userChrome.js in der jüngsten Version nutzen, wie mir anhand der letzten Änderungen erscheint.