Comments moved to
https://news.ycombinator.com/item?id=21312609. Normally we merge comments into the earlier submission, which would be this one. But that one has significant new information. Since it's the same basic story, the comments should all be together.