Operaの9.51がリリース。
いくつかのバグや脆弱性が修正されているとのことで、
さっそくアップデート。