I've (belatedly) moved the comments back to https://news.ycombinator.com/item?id=35605323. That submission was originally on the front page, but I merged it hither because this one seemed like the original source.
However, users pointed out that the other thread has more information in it (see https://news.ycombinator.com/item?id=35611295), so it seems I made a mistake with the merge. Sorry!
However, users pointed out that the other thread has more information in it (see https://news.ycombinator.com/item?id=35611295), so it seems I made a mistake with the merge. Sorry!