So here's the stuff that is semi-ready to ship. It is convenient for me
to archive the stuff in gziped tar files sorry if this causes you trouble.
As well, I haven't set them in the ftp format so, for now you will have to
do some crazy "save as" thing. For instance, with netscape click the left
mouse button on the link and choose "save link as...".