Constant uu_nl::options::HEADER_NUMBERING

pub const HEADER_NUMBERING: &str = "header-numbering";