misc

Collections of random stuff that doesn't fit anywhere else.