Short technical notes: derivations, conventions, and things worth writing down once.
Nothing here yet.
