pub const SPILL_HEAD_CHARS: usize = 400;
What stays in the transcript when an old tool body is spilled to disk: this many leading chars, then a pointer line. Under the shake cap, so neither prune nor shake cuts the pointer away.