A re-implementation of Twitter using PGP keys