HTTP API to search MIT PGP servers by user or key ID