Miscellany

Smaller things:

Last modified 2009-07-09.