Opera debuts Opera Mobile 10 for Microsoft mobile