Hacker News Reader

The button element should be used for interaction that is not navigation to a different url.

What about anchors using name?

They've been deemed obsolete with HTML5 - you should use the id attribute on the element the <a> would be naming.