>> The problem is the startup time of luatex. For processing our more >> than 1000 small snippets that are embedded in the final >> documentation (as PDF files), this sums up. > > Why would the snippets cause multiple startups of luatex?
Oops, brain fart, I mixed it up ghostscript. Sorry for the noise. Werner