Links for manim-astronomy