Lint is insulting

[domeniko-gentner]

If you want freedom over how to name things and not have to deal with warnings about that, you need add this lint:

#![allow(bad_style)]

I personally think that this is ridiculous and insulting to any developer mature enough to decide over his own naming conventions. I therefore propose renaming it to

#![allow(custom_naming_conventions)]

This is a lot more neutral.

[Mark-Simulacrum]

We've discussed this previously at #41646; I'm going to close this as I believe we've implemented an alternative as suggested here.