comment is stripped from the HTML output. */}