michaelg/dev: links for manim-gui