Nothing heavy-handed about it at all. Plenty of countries have changed their names (slightly or entirely) over the years.

The more diacritics we are compelled to learn and use, the better I say.