Opera10 正式版が公開されました。本当は、正式版をインストールするつもりでしたが、数日前に、Opera10 RCを試しにインストールして、これがまだリリース候補版だってことをすっかり忘れ去って設定をいじり倒してしまったので、新たにOpera10 正式版をイン…