Have you profiled and seen that this inefficiency actually is significant when doing batching? I would expect performing the actual batch to be orders of magnitude slower than appending to a list.
Anyways, good find, I think you should file a bug report!