[basex-talk] Question about JSON parsing/serializing

Dear BaseX team, there is something I don't understand about the parsing/serializing of JSON. When I serialize a document without options, backslashes are escaped. So for example ... <url>https://help.openconnectors.ext.hana.ondemand.com/home/google-analytics</url>  becomes"url":"https://help.openconnectors.ext.hana.ondemand.com/home/google-analytics" Only using serialization options - map{"escape": "no"} - do I get the output as expected, corresponding to the input. Why are slashes by default escaped when serializing JSON? Kind regards,Hans-Jürgen PS: When parsing, the slashes are not escaped, so it is "asymmetrical" - I need to parse without options, yet to serialize with options.