I would be interested in a linux converting method too. I know a few programs (avidemux, ffmpeg) but i don't know how can i make such high quality on low filesize with them.