HTML-encode comments