Structured headers don't seem to work with links in headers

[Ms2ger]

As used in Temporal:

      <h1>
        <a href="https://tc39.es/ecma402/#sec-canonicalizetimezonename">CanonicalizeTimeZoneName</a> (
          _timeZone_: a String value that is a valid time zone name as verified by IsValidTimeZoneName,
        )
      </h1>
      <dl class="header">
        <dt>description</dt>
        <dd>It returns the canonical and case-regularized form of _timeZone_.</dd>
      </dl>

yields

[2022-03-17T15:36:31.761Z] Error: spec/intl.html:53:14: expected `(`
[2022-03-17T15:36:31.763Z] Error: spec/intl.html:52:5: clauses with structured headers should have a type

[bakkot]

Yeah, headers are in a specific format, not arbitrary HTML. I don't think we want to support arbitrary HTML in AO names.

What's the thing you're trying to accomplish by having HTML there?

[Ms2ger]

Provide a link to the original AO that we're replacing. I guess I'm happy to format them any semi-structured way you want to support.