HTML WG accepts WHAT WG document and editor as starting point for their own HTML work