//! JSON escaping shared by dump observers and host feeds.
use Write as _;
use String;
/// Append `text` as a JSON string literal: `"` and `\` escaped, control
/// characters as `\n`/`\r`/`\t` or `\u00XX`, everything else (multi-byte
/// UTF-8 included) verbatim - the minimal escape set RFC 8259 requires.