Web browsing news: Opera Mini 5b; no Iris browser any more; Fennec 1.0b3