json: better support for escaped strings.