We detached this subthread from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10373136" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10373136</a> and marked it off-topic. (The root wasn&#x27;t off-topic, exactly, but most of the branches are.)