Re: [PD] New -batch command line option in version 0.42