Hallo,
eine klarstellende Frage als Normalnutzer zu der im Kompendium/Teil 10
für Anfänger empfohlene User.js (Punkt 3.1): Die Datei wird im Profilordner
doch nur separat reinkopiert, d. h. zusätzlich zur vorhandenen prefs-Datei, die unverändert bleibt?
Erst einmal ist das so richtig. Sofern Du aber mehrere FF-Profile verwendest, denk daran, dass Du die user.js in das dazu passende Profil reinkopierst.
Die prefs.js bleibt in jedem Fall unangetastet.
Wenn ich Deine Frage richtig verstanden habe: Ja. Es wäre aber hilfreich, wenn Du die Stelle verlinken würdest, auf die Du Dich beziehst.