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.