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

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.