@Brummelchen: Dein trivialer Tipp scheint tatsächlich die Lösung zu sein. Hatte aufgrund einer Empfehlung immer versucht die Einstellung auf "nach benutzerdefinierten Einstellungen anlegen" zu setzen, diese hat FF dann regelmässig wieder zurückgessetzt. Mit "anlegen" scheint es jetzt tatsächlich wieder zu funktionieren. Vielleicht besteht aber doch noch ein Problem, nämlich folgendes:
aborix: Hatte versucht diesem Howto zu folgen. Dabei habe ich bemerkt: Wenn ich den prefs.js File mit einem Doppelklick öffnen will, wird das Skript vom Panda Global Protection 2011 blockiert. Ist dies ein richtiges Verhalten?