docs: def extract_tar(tar_path, target_folder):
      """
      Extract the content of the tar-file at `tar_path` into `target_folder`.
      """
      with tarfile.open(tar_path, 'r') as archive:
          archive.extractall(target_folder)