Comments moved to <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10983747" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10983747</a>, which was posted earlier and has the larger discussion.