Opera mobile 10 u opera mini 4.2¿?

[Setejaen]

Buenas a todos. he instalado opera mini 4.2 en mi HD y he observado que va bastante mas rapido que la ultima version de opera mobile(10)
Alguna pega del 4.2?
Alguien lo ha probado?
Muchas gracias a todos :D