Und lösche die Datei user.js. Wenn du Firefox bereinigst, wie von AngelOfDarkness empfohlen, wird zwar ein neues Profil angelegt, aber du wirst sicherlich Daten des alten Profils in das neue Profil übernehmen wollen. Wenn es die user.js nicht mehr gibt, kannst du sie auch nicht versehentlich kopieren.
Das Löschen der user.js reicht jedoch nicht aus, die Einstellungen aus ihr sind mit ihren Werten in den Einstellungen von Firefox verankert. Du musst also die Einstellungen aus der user.js wieder auf die Standardwerte zurücksetzen.
Lösche also die user.js. Gib dann about:config in die Adressleiste, bestätige die eventuell erscheinende Warnung und nimm dir dann deinen Beitrag #13 zu Hilfe, wo du den Inhalt der user.js eingefügt hast. Suche jetzt in about:config jede einzelne Einstellung (in user.js zwischen den Anführungszeichen innerhalb der runden Klammern) und schaue dann bei der entsprechenden Einstellung ganz rechts nach den Symbolen. Es gibt bei manchen Einstellungen zwei Symbole; ist das hintere ein gebogener Pfeil, klicke darauf, dann wird der Wert auf den Standardwert zurückgesetzt. Gibt es dieses Pfeilsymbol nicht, stattdessen ein Papierkorbsymbol, dann klicke darauf. Die entsprechende Einstellung wurde irgendwann mal von der user.js angelegt. Per Klick auf das Papierkorbsymbol wird die Einstellung entfernt.
Mache das also auf jeden Fall noch vor dem Bereinigen, um dann dein jetziges Profil, das dann später dein altes Profil sein wird, wenigstens in dieser Hinsicht zu bereinigen. So kann es dir nicht passieren, dass du die Einstellungen der user.js mit ihren Werten versehentlich in das neue Profil übernimmst.
Da der download jetzt wieder funktioniert, habe ich die user.js nicht mehr gelöscht.
Wenn Du es aber dringend empfiehlst, würde ich es noch nachträglich machen.