HTML-escape the html example