smartxml: TextNode.split indicates which of the two return nodes is actually a new one