code: def download_json(local_filename, url, clobber=False):
      
      with open(local_filename, 'w') as json_file:
          json_file.write(json.dumps(requests.get(url).json(), sort_keys=True, indent=2, separators=(',', ': ')))
docs: Download the given JSON file, and pretty-print before we output it.