pub const DEL: char = '\u{7f}';
ASCII DEL, which is not what’s generated by the “delete” key on the keyboard