We've got all Python dependencies in the repo except for [python-pydub](https://github.com/jiaaro/pydub/), and texlive is needed of course.

I'd be glad to take another look at this. I find myself in a spot where I'm going to need to explain some complex math/electronics stuff to people who have never worked with electronics, and this is basically the ideal software for making the kind of animations I want.

I'd suggest that we use the community-maintained version (see https://github.com/ManimCommunity/manim) instead of 3b1b, as the community fork is supposedly more stable.

It seems that manim has a dependency on [[ https://pypi.org/project/srt/ | srt ]], which by default provides a binary named srt. This conflicts with our current python-pysrt package, which provides a binary with the same filename. Both libraries accomplish similar functions - dealing with .srt files - but have distinct APIs.

What should be done in a situation like this? My initial thought is to rename the binary for the new srt package, though that doesn't seem as obvious as renaming the binary in the python-pysrt package to something like pysrt. Any thoughts on this?

After some discussion on IRC, it looks like it will be a better bet to change all the revdeps of pysrt over to srt instead. Luckily, by "all the revdeps" I'm only referring to one package: subliminal. I've started working on a patch for that, and it doesn't seem too extensive. I'm not sure who the audience is to test it though - it's certainly not the sort of software that I have an immediate need for.

Depends on T10431