When we remove an element from the name_trie (see #13), we just NULL out the reference, possibly leaving a useless tentacle on the trie. Instead, remember the last point of divergence (i.e. the last node to have more than one valid follow pointer, or the initial node), and remove everything back to that point.
When we remove an element from the name_trie (see #13), we just NULL out the reference, possibly leaving a useless tentacle on the trie. Instead, remember the last point of divergence (i.e. the last node to have more than one valid follow pointer, or the initial node), and remove everything back to that point.