Perhaps they typed it into the wrong tab, deleted it and reposted it here?

Doesn't seem to be a re-peat according to https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...