9758e26349
CI Documentation job was failing with `error: unclosed HTML tag 'no'` at crates/tui/src/mcp.rs:71. Rustdoc parses unescaped `<no body>` as an HTML tag and `RUSTDOCFLAGS=-Dwarnings` (used in CI) promotes that to a hard error. Reword the comment to refer to the literal string instead.