Change [<html>]...[</html>] to insert raw HTML.

Prior behaviour (in this branch) was to highlight it, but original
behaviour in old renderer was to insert it into the page as a literal.
This is now the behaviour.

Other code blocks unchanged, and still highlight.