Comment by mallin

I compared the author's Github username and the submitter's HN username and assumed that they were the same person. Though a private message is probably still a good idea.