PGP/0xF2E96AC7: new GPG key!