doc: add highlight_html()