// Either this is a string (when using Maxima and stackjson_stringify) or it's a JSON. The former case we sanitise on the JS side so we can ignore this here.
// Either this is a string (when using Maxima and stackjson_stringify) or it's a JSON.
// The former case we sanitise on the JS side so we can ignore this here.