Re: Is this better for tomsrtbt?

[Tom Oehser]

Ok, thanks.

By the way, I have as a result of these discussions made a bunch of
enhancements to http://www.toms.net/rb/license.html, 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.

-Tom