Opera 9.5 ist erschienen und sieht gut aus!
Man hat den Browser einem leichten Redesign unterzogen.
Oder in den Worten des Pressetextes:

Opera 9.5 has a brand-new look that feels inspired by high-end audio equipment and Scandinavian design.

Ausserdem hat man scheinbar einige Bugs beseitigt, so daß es zumindest auf dem Mac wieder wesentlich schneller läuft als es vorher der Fall war (am PC hab ich keinen Geschwindigkeitsverlust bemerkt, also auch keinen Zuwachs).
Ausserdem landeten viele RSS-Feeds jetzt erneut im Feed-Reader, vielleicht gehört das Problem, machmal erst sehr spät neue Feeds zu kriegen jetzt auch der Vergangenheit an.