Bug#1084972: dirmngr: man dirmngr lists wrong upstream keyserver default

[Dr. Michael Stehmann]

See also:

https://manpages.debian.org/experimental/dirmngr/dirmngr.8.en.html