@gerhard ist bereits informiert.
Wir müssen diesen Commit möglicherweise zurücknehmen, da unser HtmlPrettify zeichenweise arbeitet und nicht unterscheiden kann, ob ein Anführungszeichen der Beginn eines Paares oder lediglich ein Apostroph ist.
Etwas wie smartquotes.js könnte funktionieren, aber dies ist ein sehr komplexes Problem.