Cannot add HKP server, even when compiled with HKP support
Please see this issue: https://bugs.archlinux.org/task/64039
It does not seem to be possible to add a HKP key server, the drop-down for type of key server only offers "LDAP key server" and in a fresh Arch Linux installation with Gnome only ldap://keyserver.pgp.com is configured, although the default should be
hkp://pool.sks-keyservers.net ldap://keyserver.pgp.com
according to this web page: https://help.gnome.org/users/seahorse/stable/key-servers-add.html.en