Вышло первое обновление для Opera Mini 9 – браузера для iOS с технологией видеоускорения