Re: [cl-json-devel] (encode-json-to-string "</div>") => "\"<\\/div>\"" ?