Re: [firedrake] New Firedrake dependency - libspatialindex