Miscellaneous

Here are some other things that might be of an interest.