Miscellany

Stuff that doesn’t warrant its own top-level directory.

And some links to a few things: