Stuff that doesn't fit

Stuff I have written but doesn't fit elsewhere:

Last modified: Mon May 17 13:26:18 EDT 2004