HTML: name vs. id | Hacker News Reader