@gerhard è già a conoscenza della situazione.
Potremmo dover annullare quell’commit, dato che il nostro HtmlPrettify lavora su base “carattere per carattere” e non distingue se una virgoletta sia l’inizio di una coppia corrispondente o semplicemente un’apostrofo.
Qualcosa come smartquotes.js potrebbe funzionare, ma si tratta di un problema molto complesso.