Danke für den Link. Ich habe die Erweiterung eigentlich bisher kaum gebraucht (nur auf einer bestimmten Seite - da ich fast alles über about:config eingestellt habe (dom.disable ....). Aber ich musste mir gerade ein neues Firefox-Profile für 52 erstellen, weil mein altes plötzlich abgeschmiert war und eine Anmeldung an ein interne Webseite nicht mehr funktionierte und dabei ist mir aufgefallen, dass die Erweiterung gar nicht mehr existiert.
