Actually, the reasoning is more insidious: I was unable to write a plain `\` character in a fenced code block, so I resorted to the simpler solution of just writing the HTML.