Re: [petsc-dev] What happened to -log_summary_python?