@gerhard is already aware.
We might have to revert that commit, since our HtmlPrettify is working on a “character-by-character” basis, it doesn’t know when a quote is the start of a matching pair or merely an apostrophe.
Something like smartquotes.js might work but this is a very complicated problem.