docs: def split_tag(section):
      """
      Split the JSDoc tag text (everything following the @) at the first
      whitespace.  Returns a tuple of (tagname, body).
      """
      splitval = re.split('\s+', section, 1)
      tag, body = len(splitval) > 1 and splitval or (splitval[0], '')
      return tag.strip(), body.strip()