On Saturday, 28 November 2020 at 16:59:11 UTC, ag0aep6g wrote:
Makes perfect sense. The option is called "escapeNonAsciiChars", not "escapeNonUnicodeChars".
This is a slash: / This is a backslash: \ There are no slashes in your string.
Thanks, I realized that the options are only for dealing on UTF input, not to ensure valid JSON output.