removed json_githubarchive_pp.txt