Ok, we merged this thread into <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11089174" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11089174</a>, which has the original source and was posted earlier.