Doesn't seem to be a re-peat according to https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
I did start to type this as a response elsewhere, but never submitted it. And there’s nothing in my comment history.
So my theory is “great minds think alike” :)
Doesn't seem to be a re-peat according to https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...