Subject: Re: Is this better for tomsrtbt?
From: Tom Oehser <>
Date: Wed, 25 Apr 2001 22:25:56 -0400 (EDT)

Ok, thanks.

By the way, I have as a result of these discussions made a bunch of
enhancements to, which is pretty
difficult to accidentally avoid at this point, and which will be on
all the mirrors tomorrow.  I added a key of what license goes with
which file for the whole contents, all the relevent licenses, and a
few other things.  It is now grown over 100K, I am happy to announce.