Discussed at the time: <a href="https://news.ycombinator.com/item?id=4950054" rel="nofollow">https://news.ycombinator.com/item?id=4950054</a><p>(Reposts are fine after a year or so: <a href="https://news.ycombinator.com/newsfaq.html" rel="nofollow">https://news.ycombinator.com/newsfaq.html</a>)