Post-quantum cryptography in OpenPGP