It's petty.
It's not like someone changing their own name.
(personal naming customs is a really interesting sidetrack:
Everyone born in Mexico gets two last names which gives one a bit of flexibility as to what one calls oneself in public.
Also, nicknames are very importantβyou may know someon...