Comments moved to https://news.ycombinator.com/item?id=47962269.

@dang Not that it really matters, but why is this not a duplicate of my post? https://news.ycombinator.com/item?id=47962269