Function modal_label_short 

pub fn modal_label_short(rs: &RenderState) -> &'static str

Lean 3-letter modal label for the modeline (ML.5d). The full name (modal_label) is echoed in the echo area on mode change; the persistent modeline tag stays compact + modern (Helix-style NOR/INS/VIS), disambiguated by colour through the modeline.mode theme role. Same source-of-truth read as modal_label (published RenderState, no actor crossing).