I know these posts have identical source because I went to edit and copied the text out of the first post to create the second. Any idea why syntax highlighting isn’t working?
No I don’t. And I see the same as you. It’s strange since I thought these were rendered on the fly, i.e., it shouldn’t matter if the post is old or new. Here’s my attempt that also doesn’t work:
Mysterious. I guess the syntax highlighting isn’t a big deal as it doesn’t actually seem very accurate (the emphasised with is not a keyword, but the unemphasised digraph is).
I wonder if we ever had syntax highlighting for dot, or if it just fell back to JavaScript syntax highlighting? That would explain the with highlighting.