I have finally found some good instructions on how to convert videos to an MP4, such that I can play it on my iPod. Clearly, this works only if you’re interested in doing this on Debian, but since that’s what I use, it’s good enough for me.