OpenPGP keys used by Karl Berry
