Sundries

Bits and bobs that make life easier.