Closed dontcallmedom closed 5 months ago
Merging and releasing for now though. Edit: released.
renegerating it locally, I get 11949774 bytes for xref.json, so not much of a difference yet, but the risk that it grows significantly as other specs adopt the convention is real
See https://github.com/w3c/respec/issues/4522#issuecomment-1933574282 for context