So am I to understand from this umlaut discussion that there’s literally no easy way to type them on a PC? Wow.