Please don't post unsubstantive comments and especially please don't post them on the top comment in an active thread.

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