Href attribute for JavaScript links: "#" or "JavaScript:void(0)"? | Hacker News Reader