Tools: geodiff now only operates on the union between inputs.