It's not an "umlaut." It's a "diaeresis" and a proper, but now rarely used, part...

		fortran77 on Dec 8, 2019 \| parent \| context \| favorite \| on: A One-Traffic-Light Town with Some of the Fastest ... It's not an "umlaut." It's a "diaeresis" and a proper, but now rarely used, part of English.