[pkg-gnupg-maint] Bug#931339: gnupg: Change default keyserver?

[Guillem Jover]

Package: dirmngr
Version: 2.2.16-2
Severity: wishlist

Hi!

According to the dirmngr(8) man page, the default built-in server is
«hkps://hkps.pool.sks-keyservers.net». Given the recent attacks, and
the problems inherent in that network, could we just change the
default to be «hkps://keys.openpgp.org» instead?

Thanks,
Guillem