Did IHOP run a Twitter ad targeted at all users named Michael? | Hacker News Reader