Render the back end preview of the HTML element as pre-formatted text (see #6823)