Nice!
I wonder what the maths are for mass versus focal point distance.
I also remember reading some time ago the idea of using lasers to heat the atmosphere (likes we need more of that

) in such an exact way that the a section of the atmosphere could then act as a lens