Misc Stuff

A dump of random things in no particular order.