JAVADOC_CONTENT -> JAVADOC_CONTENT [0:1]
|--LEADING_ASTERISK -> * [0:1]
|--TEXT ->  Pattern for matching characters not allowed in data attributes. [0:2]
|--NEWLINE -> \n [0:66]
|--LEADING_ASTERISK -> * [1:1]
|--TEXT ->   [1:2]
|--HTML_ELEMENT -> HTML_ELEMENT [1:3]
|   |--HTML_TAG_START -> HTML_TAG_START [1:3]
|   |   |--TAG_OPEN -> < [1:3]
|   |   |--TAG_NAME -> p [1:4]
|   |   `--TAG_CLOSE -> > [1:5]
|   |--NEWLINE -> \n [1:6]
|   |--LEADING_ASTERISK -> * [2:1]
|   `--HTML_CONTENT -> HTML_CONTENT [2:2]
|       `--TEXT ->  This is the inverse of the definition of a name being [2:2]
|--NEWLINE -> \n [2:56]
|--LEADING_ASTERISK -> * [3:1]
|--TEXT ->   [3:2]
|--HTML_ELEMENT -> HTML_ELEMENT [3:3]
|   |--HTML_TAG_START -> HTML_TAG_START [3:3]
|   |   |--TAG_OPEN -> < [3:3]
|   |   |--TAG_NAME -> a [3:4]
|   |   |--HTML_ATTRIBUTES -> HTML_ATTRIBUTES [3:5]
|   |   |   `--HTML_ATTRIBUTE -> HTML_ATTRIBUTE [3:5]
|   |   |       |--TEXT ->   [3:5]
|   |   |       |--TAG_ATTR_NAME -> href [3:6]
|   |   |       |--EQUALS -> = [3:10]
|   |   |       `--ATTRIBUTE_VALUE -> "https://html.spec.whatwg.org/multipage/infrastructure.html#xml-compatible [3:11]
|   |   `--TAG_CLOSE -> > [3:85]
|   |--HTML_CONTENT -> HTML_CONTENT [3:86]
|   |   `--TEXT -> XML-compatible [3:86]
|   `--HTML_TAG_END -> HTML_TAG_END [3:100]
|       |--TAG_OPEN -> < [3:100]
|       |--TAG_SLASH -> / [3:101]
|       |--TAG_NAME -> a [3:102]
|       `--TAG_CLOSE -> > [3:103]
|--TEXT -> , [3:104]
|--NEWLINE -> \n [3:105]
|--LEADING_ASTERISK -> * [4:1]
|--TEXT ->  i.e., matching the  [4:2]
|--HTML_ELEMENT -> HTML_ELEMENT [4:22]
|   |--HTML_TAG_START -> HTML_TAG_START [4:22]
|   |   |--TAG_OPEN -> < [4:22]
|   |   |--TAG_NAME -> a [4:23]
|   |   |--HTML_ATTRIBUTES -> HTML_ATTRIBUTES [4:24]
|   |   |   `--HTML_ATTRIBUTE -> HTML_ATTRIBUTE [4:24]
|   |   |       |--TEXT ->   [4:24]
|   |   |       |--TAG_ATTR_NAME -> href [4:25]
|   |   |       |--EQUALS -> = [4:29]
|   |   |       `--ATTRIBUTE_VALUE -> "https://www.w3.org/TR/xml/#NT-Name" [4:30]
|   |   `--TAG_CLOSE -> > [4:66]
|   |--HTML_CONTENT -> HTML_CONTENT [4:67]
|   |   `--TEXT -> Name production [4:67]
|   `--HTML_TAG_END -> HTML_TAG_END [4:82]
|       |--TAG_OPEN -> < [4:82]
|       |--TAG_SLASH -> / [4:83]
|       |--TAG_NAME -> a [4:84]
|       `--TAG_CLOSE -> > [4:85]
|--TEXT ->  without ":". [4:86]
|--NEWLINE -> \n [4:99]
`--LEADING_ASTERISK -> * [5:1]
