I was looking around in the settings today and see that under Directory Services it has an entry for OpenPGP Keyserver: hkp://keys.gnupg.net which is also in the gpg.conf file for keyserver.
However in the GnuPG System configuration under Configuration for Keyservers it lists: hkps://hkps.pool.sks-keyservers.net.
I not sure which one it is using. Is something messed up in the config or ?? I’m not even sure if these servers are valid or not as when I tried pinging both, they were unreachable.