We use gnupg.net only for keyserver redirects, some mail aliases and as helper domain for phabricator. A page telling to use gnupg.com or gnupg.org should be tehre, though.