* gpg.sgml: Clarify meaning of keyserver option include-revoked.