3rd-party “micropatch” for a vulnerability in Acrobat Reader | Hacker News Reader