先週サーバ側の Opera Mini 4.2 がアップデートされたことによって、そちらの Opera も Opera 9.80 を名乗るようになった。 Server Upgrade to 4.13.756 Opera/9.80 (J2ME/MIDP; Opera Mini/4.2.13212.756; U; en) Presto/2.2.0 既に言われているように、レ…