JSON: add pseudo parsing utilities to find "…" patterns outside comments and strings
JSON: don't treat escapes of fragments!