The first .gov domains hardcoded into your browser as all-HTTPS | Hacker News Reader