pub const CHILDREN: usize = 20;
A guard, not a tuning knob: at most this many children of one session are exported, the rest read from the parent’s copy of their final text.