Re: [petsc-dev] Known outdated sections of the User's Manual?