There is no documentation for petsc4py, so would need to link to PETSc docs (or leave it).