Choosing a name for the HTML5 XML serialization, was: The only name for the xml serialisation of html5

Just two thoughts here:

- If the HTML WG thinks that the name is not important, then, it seems, 
the right way to address this is to stop using it and make the XHTML WG 
happy.

- But as far as I recall, the much more interesting question is what 
namespace to use, right?

BR, Julian