For making video files the animation module presently supports ffmpeg
(the default), avconv (a fork of ffmpeg), and mencoder.
Does anyone use mencoder? If so, why? And would you be seriously
inconvenienced or otherwise harmed if we ended our only partially
successful support of mencoder as an option in the animation module?