pdf manual: How to disable tracing output.