> I looked at the uses and it seems like the guy was using the term crazy to describe ideas and things being done, not as a negative label for a human being. Splitting hairs? Maybe but I understand where the OP is coming from. Here's the 8 times (7 because one of them is the post we are discussing)

You're giving them too much credit. Take a look at the usages in the article they linked: https://www.npr.org/2019/07/08/739643765/why-people-are-argu...

They're identical to their own usage of the word.

Further, they do use terms like "mad man maniac" to describe a person: https://news.ycombinator.com/item?id=12458323

All of this tells me that this probably isn't actually an important issue to them. Such comments are noise and we should ensure that they're unwelcome here.