pub const DEFAULT_HEAD_LINES: usize = 5;
Default number of leading lines kept verbatim as the head summary.