We detached this subthread from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10384716" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10384716</a> and marked it off-topic.<p>(As often happens, the root comment wasn&#x27;t so bad, but the subthread is terrible.)