[dev-context] utf8 chars in XML tags

Hi Hans, I wonder whether this patch could be applied to buffer-imp-xml-lua: -local name = (patterns.letter + patterns.digit + S('_-.'))^1 +local name = (patterns.letter + patterns.digit + S('_-.') + patterns.utf8two + patterns.utf8three + patterns.utf8four)^1 This would allow to have colored XML tags with utf8 chars (such as in ). Many thanks for your help, Pablo -- http://www.ousia.tk