Vielen Dank für Deine Hilfe. Irgendwie passierte folgendes:
Ich habe, wie Du vorgeschlagen hast, das bisherige Profil von 12345678.default auf 12345678-old.default geändert, dabei aber vergessen vorgängig Firefox abzuschalten. FF hat sich dann selber ab- und wieder angeschaltet und ist mit dem neuen Profil gestartet, hat allerdings viele bestehende Daten übernommen, nämlich alle, die zum Zeitpunkt der Umbenennung gerade offen waren.
Bookmarks, und viele andere Dateien wurden nicht übernommen.
Aber das wichtigste ist, dass das Menu nun auch stehen bleibt. Ich werden jetzt die wichtigen Dateien gemäss den Angaben hier einkopieren.