A Chrome extension for using PGP on Reddit