Escape the HTML in the documentation.