OpenPGP key used by Craig Small
