Rund drei Wochen nach seiner Einreichung tauchte Opera Mini in der vergangenen Nacht im App Store auf: iTunes-Affiliate-Link. Opera Mini ist kostenlos und könnte gerade bei schlechter Netzverbindung als interessante Alternative dienen, zudem besitzt der Browser eine Funktion, die Mobile Safari schmerzlich vermissen lässt: Das Suchen innerhalb einer Seite ist möglich. (Danke