Компания Opera сообщила о выходе версии 5.1 своего мобильного браузера Opera Mini для пользователей Android. Программу можно скачать с Android Market или с сайта m.opera.com. Новая версия позволяет установить Opera Mini как браузер по умолчанию, кроме того, улучшен формат страниц для более продвинутых девайсов Android.