docs: def delete_split(self, split_name):
          """ Delete a split of the dataset.
  
          Parameters
          ----------
          split_name : str
              name of the split to delete
          """
          if self.has_split(split_name):
              shutil.rmtree(os.path.join(self.split_dir, split_name))