Vreemd, in mijn Firefox-map staat alleen een bestand met de naam
omni.ja (dus zonder de r).
Ik dacht dat dat niet goed kon zijn (en had recent wat met die omni.jar gerommeld om xpi.enabled standaard uit te kunnen schakelen voor een vraag hier op het forum), dus heb ik dat bestand maar uit de Firefox-map verwijderd.
Vervolgens heb ik Mozilla Aurora gedownload en in dezelfde map geïnstalleerd. Tot mijn verbazing leverde dat weer een omni.ja-bestand op. Nou ja, dan zal dat ook wel goed zijn.
Eventjes zoeken levert al de volgende resultaten op (dus klopt toch wel):
http://blog.ffextensionguru.com/2011/11 ... e-omni-ja/
https://bugzilla.mozilla.org/show_bug.cgi?id=701875
Eenmaal Aurora gestart ziet het Opties-scherm er weer goed uit. Kortom, storm in een glas water (wat mij betreft).