PGP encryption isn’t dead, despite the panic over EFAIL | Dark Hacker News