@gerhard en est déjà informé.
Nous devrons peut-être annuler ce commit, car notre HtmlPrettify fonctionne caractère par caractère ; il ne sait pas si une guillemette marque le début d’une paire correspondante ou s’il s’agit simplement d’une apostrophe.
Une solution comme smartquotes.js pourrait fonctionner, mais c’est un problème très complexe.