milupo , danke für den Hinweis. Ich hatte ganz bewusst mal eine user.js angelegt, um den Überbick über von mir hinzugefügte Einstellungen zu behalten. Nachdem ich manche wieder gelöscht hatte, war klar, welche Einstellungen ich behalten wollte und hab die user.js entsorgt. Was ich damals nicht beachtet hatte, war, dass ein Löschen der user.js nicht auch gleichzeitig die durch sie hinzugefügten Einstellungen löscht. Hab ich dann händisch bereinigt.
Die neue Funktion nur geänderte Einstellungen in about:config anzeigen finde ich sehr hilfreich, um eventuelle "Leichen" aufzuspüren. Mittels Google lässt sich ja relativ einfach herausfinden, welchem Zweck Einstellungen dienen und ob sie überhaupt noch wirksam sind.