is there a global DNS issue happening? | Hacker News Reader