Ok, den ganz neuen Editor krieg ich nicht installiert. Da stimmen die Abhängigkeiten nicht überall.
Aber für die Opera-Benutzer ein harmloser Workaround:
In der Opera-Adresszeile eingeben
opera:config#ISP|Id
auf die Eingabetaste drücken und und in dem dann erscheinenenden Feld folgendes eintragen und speichern:
opera/9.50
Schon macht das Forum keine Probleme mehr, weil es denkt, der Nutzer hätte eine ältere Opera-Version. Klingt komisch - funktioniert aber.