“The open-source animation package Manim, which was used in early Khan Academy videos, is still in use today.”