notes Rough technical notes, written as I work. Mostly for me, public in case they help someone else. Index Coming as they're written.