Escaped HTML like <div> or & should remain escaped on output
...unless that escaped HTML is in a <pre> tag
...or a <code> tag