Hallo.
Warum in obigem Pfad „Opera“ doppelt vorkommt, kann ich dir leider nicht sagen.
Hab ich auch nicht erwartet; die Frage war rein rhetorisch. :-)
Dennoch: Der Pfad lautet wahrscheinlich $hersteller/$programmname/. Solltest du einmal ein anderes Produkt von Opera installieren, dürfte sich dies entsprechend bestätigen.
MfG, at