Granted, I'm pretty clear on how to use VirtualDub to make Divx files out of segmented AVIs. But is there a way to do it with Dr. Divx instead?