Off-the-record communication, or, why not to use PGP | Synapse