Comment Comment by itsameta4 The dots are indeed called umlauts, at least in English:https://en.wikipedia.org/wiki/Umlaut_(diacritic) parent itsameta4 3 years ago
https://en.wikipedia.org/wiki/Umlaut_(diacritic)