A history of OpenPGP