Der norwegische Software-Entwickler Opera hat den gleichnamigen Browser in Version 12.12 veröffentlicht und damit neben Fehlerbehebungen und Stabilitätsverbesserungen auch neue Funktionen integriert. So können Anwender nun nicht nur private Daten des Browsers löschen, sondern optional auch die Daten aller installierten Browser-Erweiterungen wie beispielsweise Einstellungen. Bisher erfolgte die
