I'm guessing that the submitter was also the author of the post* and decided to use a different title for HN. I've reverted it now.

* since they've posted most of https://news.ycombinator.com/from?site=principlesofcryptogra...