The old javascript tree that gets embedded in tree.html
has been hacked too many times. It has changed
direction from its original (non-bEasy) purpose so much
that many parts of the code doesn't make much sense any
more in this context.
Re-write the thing from scratch, with an eye towards
efficiency and towards future bEasy needs.