[petsc-dev] Discussion/vote on no longer putting doc fixes into release branch