Astronomy lecture main page.