I am the author of the comment you mention. While I also wondered about this coincidence, I do not see the re-post as a problem. The re-submitter made this lin

I am the author of the comment you mention. While I also wondered about this coincidence, I do not see the re-post as a problem. The re-submitter made this link more accessible to a lot of people. Overall, that's a good thing. I actually think I have found this link somewhere in a HN discussion, too, but could not find the discussion again. (For the record, I collected 13 points for my comment so far.)