Miscellaneous

This is for a bunch of random stuff that I couldn't categorize but which I think deserves a place somewhere.