Тема: Пользователи Opera Mini экономят 8,1 млрд долларов в год