Re: [petsc-dev] adding Report Typo and Errors link to manual pages