Miscellany

Stuff that didn't fit in the rest of the site's sections.