DNSCrypt discontinued? | Hacker News Reader