帖子标题中的引号已转换为不同字符

[zogstrip]

@gerhard 已经知晓。

我们可能不得不回退该提交，因为我们的 HtmlPrettify 是逐字符处理的，它无法判断某个引号是成对引号的起始，还是仅仅是一个撇号。

像 smartquotes.js 这样的方案或许可行，但这确实是一个 非常复杂 的问题。