OpenPGP keys used by Yubico's developers
