Miscellany

Bits and pieces which may be of interest