Miscellany

Smaller things:

Last modified 2013-03-08.