Document the --batch option.