@micahflee given that #EFail only worked with #HTMLMail turned on, the whole things seems to me like a storm in a teacup. I mean, nobody who use PGP and cares about security lets their mail client run HTML code, right? Right?
https://www.coactivate.org/projects/disintermedia/blog/2018/04/12/get-your-html-email-off-my-lawn/