Batch download and file name option

I see file naming options only when downloading individual files over HTTP, but not when downloading a batch.

am I missing something?