Does that name really offend you guys?

I'm not a fan of heavy-handed adminning or censorship. Unless people are using blatant swear words in their names, I'm hesitant about banning them.

If it is really bothering any of you, I could ask him to change it.