(I've moved your comment from https://news.ycombinator.com/item?id=32937709 to the merged thread because it's a good comment and I don't want it to get stuck where no one will see it.)