Note that it may be possible using the new Web Components stuff to define tags with unicode characters in the name. I don't think we need to deal with that now.