An article with more information was posted a minute earlier: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11652614" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11652614</a>