option document_build refers to build engine in Isabelle/Scala;
pdflatex is back as legacy build engine, e.g. for published proceedings;