https://indielullabies.com/how-do-you-change-a-video-file-to-avi/