Why do domain names sometimes end with a dot? | Hacker News Reader