Please don&#x27;t post uncivil, unsubstantive comments here.<p>We detached this comment from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11656415" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11656415</a> and marked it off-topic.