Constant HEADER_PREFIX 

pub const HEADER_PREFIX: &str = "[lean-ctx: ";

First line of a collapsed text, so the model knows the marker semantics.