HOW TO: Search the PGP Global Directory for a Key