@stevenpetryk do you see Mafs becoming a library supporting similar features to Manim?
I would expect explainers using Mafs would be something like this page[1] where there are many interactive visualizations at various levels of abstraction as concepts are elucidated.