Marginalia

Bits and bobs that make things more interesting.