Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR is the first step towards solving #7349, #7891 and #7564
Importantly, it doesn't actually solve any of those issues, as there is nothing that deliberately directly consumes the Html source mappings, nor does it take advantage of the capability by changing how the Html document is actually generated, but I figured that can come in other separate PRs. Formatting in particular is broken by having it map document edits, presumably because the Html formatting system was designed to work around not having them, and changing the generation in any way breaks formatting, so thats the next thing to follow up with.
Reviewing commit by commit is once again recommended, and you can skip the test output changes, and some of the plumbing (last and 3rd last commits, respectively). In general the theory is: