-- extended list of chars to be escaped for JSON output