gpg --recv-keys fails / no longer use keyservers for anything

From Default GPG keyservers

So we have various options.

Picking the best technical solution if it had no traction (no actual users) (didn’t check) would also not be helpful for users.