Miscellaneous one-off things I've written.