AVCHD は、再生も重いし、コーデックも難しいので、配布用には DivX で1280x720 あたりにするのが好み。DGAVCDec と Avisynth + AviUtl/VirtualDub を使うのが簡単な気がする。