* Be consistent with applying backtick (`…`) formatting to formally defined `TokenNames`.
* Add a few linebreaks after repetitive sections (“formally defined in…”, and “If `strict` flag is true…”) to make things easier when reading as plain-text markdown.
* Reduce all heading levels by 1 (and make the first heading an `h1`).