This subthread turned into a sorry flamewar that went straight to Hitler. How embarrassing.<p>We detached it from <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11591910" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11591910</a> and marked it off-topic.