Copied JSON file with .json extension

Some applications don’t recognize this file as JSON (or as Unicode!) if
it has a .txt extension