PS: much more interesting discussion at <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10647500" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10647500</a>. Why this post didn&#x27;t take off where the next one did, I cannot speculate. :)