The signs have a priority as most people using it to navigate will be less confused if the name matches what they see on the ground.

You can always add the other name to some of the lesser known name tags, like loc_name, official_name.  There's even name:left and name:right!

https://wiki.openstreetmap.org/wiki/Names

I at least add other names and common misspellings to alt_name.