OpenPGP key used to sign leancrypto releases
