Miscellanea

a few odds and ends that belong nowhere else.