Misc

Loose notes, tool references, scripts, and things that don't fit elsewhere.