Microsoft Surface Mini to debut in mid-May? | Hacker News Reader