docs: def concatenate_json(source_folder, destination_file):
      """
      Concatenate all the json files in a folder to one big JSON file.
      """
      matches = []
      for root, dirnames, filenames in os.walk(source_folder):
          for filename in fnmatch.filter(filenames, '*.json'):
              matches.append(os.path.join(root, filename))
  
      with open(destination_file, "wb") as f:
          f.write("[\n")
          for m in matches[:-1]:
              f.write(open(m, "rb").read())
              f.write(",\n")
          f.write(open(matches[-1], "rb").read())
          f.write("\n]")