@treshold
Ich bin einfach bei 10.10 geblieben (im Gegensatz zu anderen Anbietern stellt Opera alle Releases auch nach längerer Zeit noch zum Download zur Verfügung) und hab gelegentlich mal die neuen Releases angetestet

10.10 bot mir immer noch mehr von dem, was ich will, als alle anderen Browser (ggf. exklusive Firefox mit genau den richtigen Add-Ons - aber ich hab garantiert keine Lust, wochenlang nach einer Möglichkeit zu suchen, ein dutzend Features zu ergänzen/ändern, in der Hoffnung, dass es überhaupt möglich ist)
Nachdem 11.10 wieder einen funktionierend Tabwechsel brachte und sich ein einfacher Workaround für die Servernamenvervollständigung ergab, bin ich jetzt wieder bei der aktuellen Version.