Так что Opera Mini 4.2, как-раз свежая появилась.