I'm trying to follow the instructions here to install Tor from the official package repository:

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 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 hacked, or something more mundane?

Anyone know how to work around this? Is the signing key available from any other trusted keyservers?