OpenPGP keys used by Serge Hallyn
