Exports a PDF from a directory with an index.html root file. This is done via a Chromium-family browser, driven over the Chrome DevTools Protocol.
index.html
options that affect the export process
Exports a PDF from the given source directory.