Le navigateur Opera Mini 7 est désormais disponible pour les utilisateurs d'Android. Selon l'éditeur norvégien, cette nouvelle édition se montre plus rapide, grâce à une accélération matérielle améliorée, mais également quelques changements dans l'ergonomie. Rappelons qu'Opera Mini présente la particularité de compresser les pages Web sur les serveurs pour un chargement plus rapide sur le smartphone.