Re: [PETSC #13286] Make pcimpl.h a public API