Miscellaneous

Various things that don’t fit anywhere else.