Command line tools to merge json files and to replace symbols in json files ... better to change shared JSON data in one place only. These three Python programs, mergejson.py, mergeall.py and ...