[anonym29]

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

[djfergus]

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

[em-bee]

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