Comments moved to <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11582605" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11582605</a>, which seems to be the most substantive version of the story.