Comments moved to
https://news.ycombinator.com/item?id=21482975. That one was posted later, but got a lot more comments and is still on the front page, so I guess we'll treat it as the main thread. It seems like the Reddit post adds more information, too, though I can't tell for sure.