20081111 tech.tech-news: Opera launches beta Mini 4.2