HtmlBuilder/doc: