Miscellaneous stuff that may or may not be of interest to anyone.