We've banned this account.

We detached this comment from https://news.ycombinator.com/item?id=47668579 and marked off-topic.