Simplify the regular expression for HTML comments

We were getting catastrophic backtracking in Chrome for some input
texts where the closing “—>” of the comment was omitted.