Miscellaneous

Here I collect the things that didn’t quite fit anywhere else on my website.