omd_main.ml: option for HTML comments protection: `<!-- -- -->` is not valid HTML comments, but `<!-- &#45;&#45; -->` is valid.