Refactor LiveDev HTMLDocument

Refactor HTMLDocument to be only partially experimental, so we can use this for HTML Highlighting.