Fascinating stuff and a huge new datapoint for the collection! I wonder if this method with gravitational lensing is independent of (or validates) the cosmic distance ladder though, as ruling out systematic errors in that would be huge.