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

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&query=%22kinda%20funny%20that%22&sort=byDate&type=comment https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...