Miscellany

Whatever doesn’t fit elsewhere goes here.