Stuff

Various bits and pieces that don't fit elsewhere: