docs: def extract_zip(zip_path, target_folder):
      """
      Extract the content of the zip-file at `zip_path` into `target_folder`.
      """
      with zipfile.ZipFile(zip_path) as archive:
          archive.extractall(target_folder)