This has nothing to do with political correctness or offending people. We didn't think it was some horrible mean thing to have bad_style. We just wanted to impr

This has nothing to do with political correctness or offending people. We didn't think it was some horrible mean thing to have bad_style. We just wanted to improve it, to be nicer (doesn't imply it was not-nice before, but improvement can always happen), and more accurate. Feel free to continue to call it bad style within the Rust community. Nothing 1984-like about it at all. It was a request for changing some wording, one which could have been rejected, and we would have moved on, because it was a drive-by issue that I didn't care about much. You're ascribing a lot of intent and background to that post, intent that wasn't there.