(no title)
* gpgkeys_hkp.c (main): Switch default port for SSLized HKP to 443 (i.e. the regular https port).