A small collection of references and write-ups.
Personal notes, kept mostly for my own reference. Nothing here is authoritative.