O Opera Mini versão 5.1 chegou para os usuários do sistema operacional Android. As novidades da versão se concentram, basicamente, na performance do navegador, que já era um grande diferencial na versão anterior.