[whatwg/dom] Un-merge Document and HTMLDocument (#221)

Does anyone object?  It's been years, nobody has done it, it's [claimed](https://www.w3.org/Bugs/Public/show_bug.cgi?id=22960#c2) that IE did it and then un-did it.  Boris has [serious reservations](https://bugzilla.mozilla.org/show_bug.cgi?id=897815#c9) about web-compatibility.  Is there any actual reason to merge them?  Obviously, it makes sense to keep APIs on Document where reasonable, but I don't see why it needs to be wholesale.

---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/issues/221