More efficient JSON string escaping is implemented.