Make sure DOM and marks are up to date when the browser re-requests
instrumented HTML on reload or document save.
Merge pull request #4733 from adobe/nj/issue-4730

[LiveHTML] Make sure DOM and marks are up to date when the browser re-requests...