Writing actual unicode characters to json.txt