Miscellany

Posts that fit no other delineated category, unfortunately.