Comments moved to https://news.ycombinator.com/item?id=48834309, which was posted first. (Sorry! I still want to implement karma sharing so we can split credit between multiple submitters.)

dupe of https://news.ycombinator.com/item?id=48834309

isn't that the worst, when you post a breaking story first and someone else's dupe hits front page? upvoted your original :)

Also https://news.ycombinator.com/item?id=48826404

that's the original post by the actual authors. that's the one that should be upvoted. they broke the title rule though.

upvoted your submission!