DocTrees are similar to regular source Trees in that they are one way: one can go from a DocTree to its children, but not to its parent. In regular source Trees, the path from the root to a specific Tree can be held in TreePath. It would be nice to have a similar DocTreePath for DocTrees.