Miscellaneous

Miscellaneous things that might be of interest.