Gravitational lensing (an effect that causes distant objects to be magnified or stretched by the gravity of a large object along their line of sight) is one of astronomers' most useful observing tools ...