Shutting down this repo

[marcoscaceres]

To avoid questions like #185, we should really remove gh-pages and archive this repo. This is repo is now obsolete.

Also, we should make sure the W3C DOM editor's draft goes to the WHATWG version.

[sideshowbarker]

Done. If there’s anything else that still needs to be resolved here, I guess please raise an issue at https://github.com/w3c/w3c.github.io/issues for it