tinyAVI is a Python program for Linux and Windows that will convert video files in various formats to a format handled by some portable devices like pocket multimedia players. The program is very easy to use (I actually wrote it for my 10-year daught