We detached this subthread from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10758571" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10758571</a> and marked it off-topic.<p>(Some users have flagged that comment while others have vouched for it. It is currently not flagged.)