Eventually, I'll mirror my other web site here, but I haven't gotten around to it yet.
Last modified 05 Dec 1998 by gdm.