We need to be careful not to `from petsc4py import PETSc` before `petsc4py.init` has been called. Doing what you suggest i.e. moving this to a Firedrake `petsc` module and always import from there is a good solution.