docs: def t_ARTICLEHEADER(self, token):
          # \xef\xbc\x9a is the "fullwidth colon" used in Japanese for instance
          ur'\#\#\s+<article-(?P<number>[A-Z0-9]+)><(?P<newtag>[a-zA-Z0-9-]+)><(?P<oldtag>[a-zA-Z0-9-]+)>[ ]*(?P<name>[^\<]+?)(?P<sep>:\s|\xef\xbc\x9a)(?P<title>[^<\n]+)\n'
          number = token.lexer.lexmatch.group("number").decode("utf8")
          newtag = token.lexer.lexmatch.group("newtag").decode("utf8")
          oldtag = token.lexer.lexmatch.group("oldtag").decode("utf8")
          name = token.lexer.lexmatch.group("name").decode("utf8")
          sep = token.lexer.lexmatch.group("sep").decode("utf8")
          title = token.lexer.lexmatch.group("title").decode("utf8")
          token.value = (number, newtag, oldtag, name, title, sep)
          token.lexer.lineno += 1
          return token