https://news.ycombinator.com/newsguidelines.html
Edit: assuming the factual part of your comment is true, it isn't really off topic in an already-highly-politicized thread. I was reacting to what seemed like an injection of partisan politics, but there seems to be a reasonable connection between the two subjects, so we've put this back. The bit about making comments more civil when topics are divisive is still important, so please be mindful of that.