I scoured the Internet and did not find any affirmative conclusions that the surname Hitler is a frequently used one. However, there is information that, after well-known events, people who are related to her tried to change her surname. But it made me laugh out loud when I found out Hitler’s real name, which he so diligently changed. And so its meaning was as a person who cleans out cesspools—Schicklgruber. In truth, everything related to shit was on this “man’s” forehead.
OP, just add him to ignore. Everyone who is not bothered by his nickname reacts calmly. This just characterizes the personality... although is there a personality?