[TZubiri]

So there's the possibility of some .gov TLDs being missed, like secret CIA stuff. Or the guy that commented on here that he uses a custom .gov for his home servers.

[BenjiWiebe]

The custom .gov for his home servers doesn't exist except in his home network. You can put absolutely any domain in your home network that you want.

[TZubiri]

And the TLD .gov doesn't exist except on the internet. Similarly if there's a .gov in some CIA intranet, does it exist or not exist? That's a metaphysical question