[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