20140506 tech.tech-news: Microsoft may launch Surface Mini on May 20