Does gpg query keyservers for revocation certs currently? What would an interface for doing that look? Btw, I'm now running the CKS pgp keyserver and I'm serving PGP keys via DNS from its postgres database. Only normal certificates though. I'll release the server part and the updated client soonish.