[tor-relays] keys.gnupg.net broken; can't add Debian Tor repo

[tor]

I'm trying to follow the instructions here to install Tor from the official package repository:
https://www.torproject.org/docs/debian.html.en
On the steps to add the gpg signing key, it doesn't work. It seems something has changed with the keyserver at keys.gnupg.net:
1) http://keys.gnupg.net/pks/lookup returns a 404.
2) Trying to manually visit the root of the domain [http://keys.gnupg.net](http://keys.gnupg.net/pks/lookup) in a browser results in a redirect to https://keys.gnupg.net/wiki/. Here SSL is broken due to a cert mismatch. The cert is for "uz.sns.it".
I'm not sure what's going on. Is [keys.gnupg.net](http://keys.gnupg.net/pks/lookup) hacked, or something more mundane?
Anyone know how to work around this? Is the signing key available from any other trusted keyservers?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.torproject.org/pipermail/tor-relays/attachments/20170710/9c19c046/attachment.html>