Miscellaneous

Various miscellanea for which I haven't found a better place