Re: [petsc-dev] [petsc-users] PETSc release soon, request for input on needed fixes or enhancements