@wim@Tom_P
This is not an answer to this bug, but I constructed a super fast script to do exactly what I want. With the added option to “print” out individual files as well.
Have not tested this on multiple files, but at least on this file, it is unbelievably fast churning out PDFs.