Opera annuncia che il numero di pagine processate e visualizzate tramite Opera Mini dagli utenti ha raggiunto e superato quota 1 miliardo in soli 6 mesi