My understanding is that batch_edit doesn't use the session anymore.  So this is just vestigial.