Comments moved to https://news.ycombinator.com/item?id=37587791, which is currently on the front page.

Normally we'd prefer the earlier submission but the other one has the original source so I guess we'll stick with that. Sorry mh-cx! It's on the list to implement URL-aggregating and karma-sharing for cases like this.