Ich habe eben auf https://bugzilla.mozilla.org/page.cgi?id=bug-writing.html nachgesehen und dort folgenden Satz gefunden:
ZitatIf you can't reproduce the problem, there's probably no use in reporting it, unless you provide unique information about its occurrence.
Es scheint also, dass es keinen Sinn macht, diese Duplizierung als Bug zu melden.
Ich werde ein neues Profil erstellen und dieses jungfräulich lassen. Das bringt zwar einige Umstände für mich mit sich, da ich auf voreingestellte Tabs verzichten muss, aber ich sehe jetzt keine andere Lösungsmöglichkeit. Sollte 4 Wochen lang der Fehler nicht auftreten, werde ich ein Add-on installieren und 4 Wochen warten usw.