[2091b] cleanup: use getLabels() instead of name in dumpTree.
It should be more accurate notation. Also, we should eventually get rid of getName() (we can't right now as it's used in node path). This change is one step toward that goal. Also made some editorial/docuementation cleanups.
Showing with 32 additions and 35 deletions