If it's not a vendetta, it's certainly a personal attack of the kind that's not OK here. We detached this subthread from https://news.ycombinator.com/item?id=13

If it's not a vendetta, it's certainly a personal attack of the kind that's not OK here. We detached this subthread from https://news.ycombinator.com/item?id=13008211 https://news.ycombinator.com/item?id=13008211 and marked it off-topic.