Richard Gibson

> This seems like an improvement to my eyes, although I'm not sure about the `n < 10^p` -> `n ≤ 10^p` change - what was the motivation for that?...

I haven't encountered a specific issue, but the replacement of `\s` with `[{HTML_WS}]` is straightforward and can protect against ever encountering such an issue. Whitespace around an HTML attribute `=`...

> So `HTML_WS` is `\s` without `\v` ? Close... `HTML_WS` is `\s` without `\v` and **also** without non-ASCII whitespace characters such as U+00A0 NO-BREAK SPACE and U+1680 OGHAM SPACE MARK...

Replaced by #3157.

I don't feel strongly about it. The lowercase field names don't bother me, especially those that directly correspond with the canonical form of BCP 47 language subtags or Unicode -u-...

pull request: #788

Confirmed.

The workflow for which I care about this most is visiting references to an operation or definition, where the :target is therefore an \ and I will frequently open many...

> I really don't like any option where the highlight persists, for any element. My usual working mode is clicking a reference and then scrolling around; having the highlight stay...

> To me the table of contents is a normal way of navigating within the document, and I don't expect things to visually change based on how I'm navigating within...