(no title)
* gpg.texi (GPG Configuration Options): Document keyserver options check-cert and ca-cert-file.