This was also being discussed here [1]<p>[1] <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11049993" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11049993</a><p>Apparently it will be obvious to folks that this has occurred.