As an alternative to searching the archives using Google, http://www.ffmpeg-archive.org/ works quite well. They seem to archive the FFmpeg-user mailing list.