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