Miscellany

Stuff that doesn't fit the other categories, but that you should probably see anyway.