docs: def fromXMLname(string):
      """Convert XML name to unicode string."""
  
      retval = sub(r'_xFFFF_','', string )
  
      def fun( matchobj ):
          return _fromUnicodeHex( matchobj.group(0) )
  
      retval = sub(r'_x[0-9A-Za-z]+_', fun, retval )
          
      return retval