Misc

I’m not really sure what to put here. This is just a collection of random stuff that doesn’t fit anywhere else — basically the closest thing to a public mind dump.