
The author thought that these files were a good idea
when he made them, but they have not proven as useful as
he had thought they would.  The maintenv script might
still be useful.  The other files probably are less
useful, but for now they are kept here.

Some of the files are programs or scripts the book's
author used during development to check that some
formula he was typesetting was correct.

