No it wouldn't bother me. I agree with the others who say you don't own the child or the name.
At some point you will lose control anyway. Both my children have now shortened versions of their names that their teachers, friends and schoolmates initiated- but i knew that was likely to happen and it's fine.
I had a friend when I was 14 who was called Caroline- everyone called her Carol, except her neurotic mother who spent her days in a fury correcting everyone who used the shortened version. Wher Carols friends visited her mother would pull us up about using the name carol, and snap at us that the name was "caroline!".
We all thought she was nuts.