Miscellaneous

These are some general, usually more personal, things that I have done over the years, and for which I still get requests. Hence they are collected here for ease of reference.