Miscellaneous stuff

Bits and pieces that don’t have a specific home.