Miscellaneous

Welcome to the hall of whatever the heck this is. Things are put here when I don't know where else to put them.