* gpg.texi (GPG Configuration Options): Document keyserver-options