issue #21 fixed: Set GPG config to use HKPS by default.