Kevin Gibbons

Fixes #2400. Depends on #2413. Also I'm not 100% sure this all makes sense, so marking as a draft for now. TODO: ensure the `Let` steps are on their own...

Editorial: sometimes we don't put stars around null

1

We should probably be consistent. E.g. [here](https://tc39.es/ecma262/multipage/ecmascript-language-scripts-and-modules.html#table-exportentry-records) we leave them out.

The annual published versions of ECMA-262 want to refer to that year's ECMA-402, and conversely. But we are definitely not going to remember to make that change manually, as evidenced...

Linting the spec

25

I would like to start enforcing some basic sanity checks for the spec. Some of them will end up implemented in other projects, but I would like to use this...

instead of [hardcoding a specific list](https://github.com/tc39/ecmarkup/blob/dbd1def88459308e16be9d4febe8388ca7a66a34/src/autolinker.ts#L142).

https://github.com/tc39/ecmarkup/pull/449 makes the logic for matching productions at least _work_ in the presence of `` and ``, but really you don't want to include ``'d things in the matching logic....

It would be nice if the pinned items had a button next to them for easy unpinning, and an "unpin all" feature would be even nicer. _Originally posted by @michaelficarra...

We have [some checks](https://github.com/tc39/ecmarkup/blob/1db79a9dde9b163056d186fd254dbd81070dead3/src/lint/collect-grammar-diagnostics.ts#L133-L143) which rely on knowing RHSes, but the biblio only includes [the names of productions](https://github.com/tc39/ecmarkup/blob/5f4f982fb7b4b2192e718ffdd993403e19701018/src/Biblio.ts#L327-L331). In the exported biblio (but no the web one), we should put...

Probably not with `dfn`, just special-case these (when preceded by a space). Needs to not link in algorithms and probably also should not be blue or get reference lists. cf...

cf https://github.com/tc39/ecmarkup/pull/413