BTW, these types of comments are not allowed in HTML. It will make the HTML invalid when it's put through the validator. We don't need to fix this now, but will file a bug to fix the markup in the spec.