pub const FENCE_REFUSAL: &str = "[lean-ctx: content withheld — no secure fence key available]";Expand description
What fence_content returns instead of a fenced block when it has no
secure key: one constant, with no part of the label or the content.