We detached this subthread from https://news.ycombinator.com/item?id=39395935 - not a criticism of the comment; I just need to prune the top-heavy thread.