Additional DCP 179 proving options.
Fix HTML and Graphviz auto-documentation.