I used to use Adobe’s Virtual Printer to batch print folders of documents to PDF. Can you suggest a suitable replacement?