La beta de Opera Mini 4.2 (4.01) ya está en su versión final y estable (4.02). Puedes descargarla desde tu móvil apuntando a operamini.com o desde el portal de Opera. Si te descargaste la beta anterior apenas vas a notar cambios.