Miscellany

We couldn’t figure out where else to put it, so it’s here.