docs: def get_text(nodelist):
      """Get the value from a text node."""
      value = []
      for node in nodelist:
          if node.nodeType == node.TEXT_NODE:
              value.append(node.data)
      return ''.join(value)