[petsc-dev] Why clanguage __str1__ appears before the summary?