Opera - browser.js

先日来、opera.general で問い合わせていたフォロー記事から。
Help > Check for new release を行うと、新しい browser.js があると自動で更新される。しかし万一それが上手く行かなかったり、自分の目で確認してから取り込まないと気が済まない人は、http://xml.opera.com/userjs を開こうとすると最新の browser.js へリダイレクトされる。
Tim は新しい script を公開したと書いていたが、上記二操作いずれによっても、最新版は二週間程前のファイル。