A Future for batchtools

Authored by:Henrik Bengtsson infuture.batchtools 0.12.1.
Source:future.batchtools.md.rsp, Vignette:future.batchtools.html. Last updated:2023-12-20.