Firefox user.js anpassen

Ich hab mir das mal etwas angesehen und es funktioniert im Prinzip immer noch, wie in der von @MacGyver verlinkten Anleitung. Statt JS-Umgebung wählt man Konsole und kopiert dort einfach den gesamten Code hinein (will man weitere Zeilenumbrüche einfügen, dann mit Shift+Enter). Anschließend mit Enter quittiern und die Änderungen sind drin.

grafik

Kann das jemand zur Sicherheit bestätigen/reproduzieren?