We read the insertion code (put/insert) in RedBlackLiteBST.java, but
did not quite get through all the argument for its correctness.  We
did not get into deletion at all, so I deleted some text from
Notes.txt, we'll start that topic next time.