While browsing in Tor documentation site for instructions on getting latest
tor for Ubuntu 16.04, I came across this site. In there I found this command,
gpg --keyserver keys.gnupg.net --recv 886DDD89
But executing above command on my computer gave me following error,
$ gpg --keyserver keys.gnupg.net --recv 886DDD89 gpg: requesting key 886DDD89 from hkp server keys.gnupg.net ?: keys.gnupg.net: Host not found gpgkeys: HTTP fetch error 7: couldn't connect: Success gpg: no valid OpenPGP data found. gpg: Total number processed: 0 gpg: keyserver communications error: keyserver unreachable gpg: keyserver communications error: public key not found gpg: keyserver receive failed: public key not found
Then I tried to open keys.gnupg.net but was redirected to pgp.key-server.io. So I think keys.gnupg.net no longer exists.
Being in Ubuntu, I replaced keys.gnupg.net with keyserver.ubuntu.com and the command ran succesfully. So I think keys.gnupg.net should be replaced with either pgp.key-server.io or keyserver.ubuntu.com. Can anyone tell me who should I contact to do this?