So we have various options.
- Default GPG keyservers (Hockeypuck)
- new, fixed keyserver - keys.openpgp.org
- SKS (which started the mess why this forum thread was started)
- WKD
- Some of the options mentioned in the gnupg man page quoted in previous post gpg --recv-keys fails / no longer use keyservers for anything - #20 by Patrick.
- cert
- pka
- dane
- ldap
- ntds
- No default key server.
Picking the best technical solution if it had no traction (no actual users) (didn’t check) would also not be helpful for users.