I use Boxee to play media so I never cared much what format files were. But lately I've been getting into Air Video, which is smart enough to only transcode a file if it has to - if you point it at a MP4 file that iOS can handle it'll just send the stream straight through and give your CPU a break. It's not smart enough to peek inside MKV files though, so it'll transcode them unnecessarily. Re-packaging all my MKV media into MP4 would save a lot of hurt. I use Subler for one-off jobs, but the GUI doesn't support batches and I can't wrap my head around the CLI syntax. Can anyone suggest a different app, or help me out using Subler's CLI?