petscis.h includes petscsf.h and thus infects almost all petsc source code. Should we have a petscissf.h that has the is/sf related stuff that is in petscis.h and thus avoid including petscsf.h everywhere (like every pc, ksp, and ts file?)? Thanks Barry