Good point. I should have left it. In other news, my PR got merged into the READ...

		charliepark on April 22, 2019 \| parent \| context \| favorite \| on: Manim – 3Blue1Brown's animation engine for explana... Good point. I should have left it. In other news, my PR got merged into the README, so hopefully folks in the future won't have the same confusion that prompted this thread.