Pero Satyr, el Opera Mini te lo descargas de la web oficial (.jar) y se instala igual de fácil que un cab

(porque si tienes la v4 el JBed ya lo tienes instalado

)
De todas formas ahora que el Opera Mini 5 y el Opera Mobile 10 comparten interfaz y modo turbo solo encuentro una razón para optar por el primero... que consuma menos recursos.
Saludos
