doc: rename batching to batching.txt.