We detached this subthread from https://news.ycombinator.com/item?id=37363109.

Yes, that is what was written. Would you like to say something about it?