Double submission: https://news.ycombinator.com/item?id=21156664 (3 hours ago with 71 points when this comment is posted).