投稿タイトルの引用符が異なる文字に変換されました

[zogstrip]

@gerhard は既に把握しています。

HtmlPrettify は「文字単位」で処理しているため、引用符が対応するペアの開始なのか、それとも単なるアポストロフィなのかを区別できません。そのため、そのコミットを元に戻さなければならない可能性があります。

smartquotes.js のようなアプローチが機能するかもしれませんが、これは 非常に複雑な 問題です。