I noticed that Divx released a bug-fix release for it's Mac codec today, and started wondering: which of the available codecs works best on the Mac? As far as I understand it, Divx, 3ivx, Apple, and ...