dolfinx-external-operator