Miscellaneous

Everything else — pieces that don't fit a neat category but belong here anyway.