Stuff

This is a collection of random stuff that doesn’t fit neatly anywhere else.