Gravitational lenses have been used previously to resolve individual stars in the distant Universe. Using the microlensing of ...