Giusto una segnalazione per chi come me utilizza questo splendido browser. Opera 9.5 è stato rilasciato oggi!