Even if that's the logic of things, when people that have a knowledge of things, that's probably the first person that they would think about when they hear the name Hitler and it really doesn't matter if it's a name of some politician in Namibia, it's that the user that made this username doesn't have that Namibian politician in mind. I guess with that kind of name, it's safe to say that there's no rules about offensive names here.