E51で環境構築も一通り終わり、細かいソフトウェアのバージョンを上げ行ったところOpera miniがバージョンアップしていた。(4.2→5.0beta)。タブブラウザ化してるし、動作もキビキビしている。すばらしい！ キーボードショートカットが少し変わっているのまと…