Resolve "check-for-json-errors-in-doc failing for escaped characters"
Closes #3495 (closed).
-
442a7209 Fix tools/check-for-json-errors-in-doc.sh Fix tools/check-for-json-errors-in-doc.sh from escaping double-escaped characters in JSON which results in malformed JSON which results in CI failing.
Tested with ./tools/check-for-json-errors-in-doc.sh --all
on Debian 12.
Edited by Andrei Pavel