Ask HN: Is root-servers.org still official auth for root DNS; is down now? | Hacker News Reader