Oh cool program, I think the guy you saw is Dr. Stephen Laburge. He has an awesome book you should check out called Exploring the World of Lucid Dreaming. Its a wonderful source of information ( I have a copy right on my bookshelf ) The celestial sky is soo so so beautiful in lucid dreams And like Snowy said, it looks like you already have a DG