Ask HN: How to ping a specific user on Hacker News? | Hacker News Reader