Κυκλοφόρησε ο Opera Mini 7 για Android, με 160 εκ. χρήστες το μήνα