Miscellaneous

Odds and ends (some may be very odd indeed).