Add --batch-repetitions convenience option.