[DOMCore] Rename to "DOM Core"?

[Anne van Kesteren]

I would like to rename Web DOM Core to just DOM Core. The "Web" prefix  
makes it unnecessarily long in my opinion and inconsistent with other  
upcoming DOM specifications, such as DOM Range and DOM Parsing and  
Serialization. I like the trend of using short and clear names.

Is this okay with the Working Group?
Do we need to run this by the W3C Team or is it sufficient that will  
happen during publication?

Thanks,


--
Anne van Kesteren
http://annevankesteren.nl/