/** * Raw-key dump — a temporary aid for "what does this terminal actually send * for that key?" questions. * * Start pi with LAZY_PANEL_KEY_LOG=: while the panel is open, * every raw input chunk the terminal delivers is appended to that file as one * line (`