OpenPGP keys used to sign MySQL releases
https://dev.mysql.com/doc/refman/8.4/en/checking-gpg-signature.html