Vielen Dank für die nette Aufnahme im Forum und die schnelle und klärende Antwort!
Insbesondere danke ich für den Link zum "Entwicklerforum", dort hin hatte ich irgendwie nicht gefunden.
I.d.R. bin ich mir auch über die Änderungen im Klaren :-). Meine Intention war, den Usern eine Möglichkeit zu geben, im Rahmen der normalen Einstellungs GUI, Änderungen rückgängig zu machen - auf komfortable und schnelle Weise. Besonders bei der ja existierenden prefs.js ist dies ja doch ein Leichtes. Aber, wie gesagt, ich werde mich damit mal im Entwicklerforum umschauen.