I posted this in the Software Colloquium, and it got a whopping zero replies, so it must be the sort of high-end technical voodoo that didn't belong there (I wasn't aware that a batch file was that ...