Thread:Extension talk:Pdf Export/No Umlaute in Geman Wiki/reply (3)

Hmm, good to know. I wonder if they updated HTMLDoc at some point to handle that?