A few bits and pieces that may be of some use to others.