20081020 tech.tech-news: Opera 9.5 adds widgets for mobile