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