Most json parser accept only by default UTF-8 or ASCII based UTF-8, thus it would be convenient if the default JSON output enforce the UTF-8 encoding