por lo que tengo entendido salio una version de opera mini la 4.1 esa te permite hacer esas cosas que decis vos de bajar archivos y hasta corrigio algunos bugs de las versiones anteriores