DNS names are all of the form wwwkeys*.pgp.net where the `*' may be
zero or more DNS domain components.
There is a generic
`find any server' name (wwwkeys.pgp.net),
certain regions (eu),
and entries for some DNS Top Level Domsins
uk [testing] and
each of which need to be called on port 11371.
E.g. you might call
Here is a sample form using wwwkeys.pgp.net (a random server):
[blank lines to allow #refs to work -- sigh]