>>735
mpeg2decXで字幕付きmovに変換。（ビットレートは気にせずにできるだけきれいに。）
↓
MediaPipeでDivXに変換。

OSExの字幕書き出しがもうちょい見やすくなればいいんだけどねぇ。