PGP newbie question

[Hirsh, Joshua]

Hi Denis,

 If you look on the download page, you'll find a link to his key. This will
bring up a page showing information on his key. From here, you'll need to
click on his key ID, which will load up his public key. You'll need to save
this to a file (NOTE: only save the actual key part, and not the entire
HTML) and run 'gpg --import <filename>'.

 This will add his public key to your keychain.


 Cheers,
-Joshua