Instructions unclear and wrong

[eiger3970]

https://electrum.readthedocs.io/en/latest/gpg-check.html -> Obtain public GPG key for ThomasV -> "You should be able to substitute any public GPG keyserver if keys.gnupg.net is (temporarily) not working.

keys.gnupg.net error: gpg: keyserver receive failed: Connection timed out
keybase.io error: gpg: keyserver receive failed: Connection timed out
keys.openpgp.org error: new key but contains no user ID - skipped
keyserver.ubuntu.com messy: outputs twice "Can't check signature: No public key", then find the good signature.
pgp.mit.edu: unsure?
keyoxide.org: unsure?