Posted a few days ago at <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10655418" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10655418</a>, but got so little discussion that we won&#x27;t treat it as a dupe but have instead merged the threads.