Comment Comment by kstrauser I use to use this plugin: https://gpgtools.org/ parent kstrauser 2 years ago