Hi, I see "isabelle document" has a simple option to switch on/off various things in the generated document (for example, proofs). Is there a way to supply these directly from the ROOT file? Would be useful for these one-off use cases (e.g. I want a view on my theory omitting all the proofs). -- Lars