Opera Mini 5の正式版から初めてのアップデート。バージョンは5.1.21051に。 最近は専らOpera Mobileばかり使っているのでOpera Miniの出番は少ないんだけど、一応アップデートしておいた。今回も日本語版も提供されている。 ダウンロードはm.opera.comに端…