Is root-servers.org down? | Hacker News Reader