A TXT-tree is a tagged (Pico) text. The TXT_VAL_idx is the index to access the text value of the tree. E.g., if tt is a text tree, then we can select the underlying text of that tree with the expression tt[TXT_VAL_idx].