It would just depend on how members are going to see it, I mean its not going to be offensive to everyone.
In the end, there was no rule about having this kind of things on names so, I don't see anything about it, so as long as we still doesn't have somekind of rule about it, there was nothing we can do about it for now.
But I would agree that there are some names that should not be allowed just like some of the examples of the other members.
"Hitler" is a German family name. It didn't belong just to Adolf Hitler, many people have that family name. I guess with the tolerance for free spech there is no such rule. Although I see that you are partly right and if someone would nickname himself for example "AdolfHitler" or "Let's kill jews", "Let's kill blacks" and things like that, he should be banned.
It just wasn't a good example here in the forum.