Miscellaneous things that might be of interest.