Quick and dirty script to convert videos for HTML5 videos with ffmpeg and ffmpegthumbnailer