Document the new --only-write-batch=FILE option.