Hm, du scheinst Recht zu haben. Danke für den Hinweis.
Ich habe gerade Opera 22 mit einem komplett neuen Profil gestartet. Und das Addon geht trotzdem nicht. Dann heißt es für mich abwarten und Tee trinken.