I think this is indeed what we want, because in MD, <!-- comment --> renders the comment as comment in the generated files (HTML, etc.).  If we wanted not to render them, then we would use <!--- comment --->, but I think we should use two dashes only.  So I am OK with your changes.