Thank you for sharing. I use free software to edit video and burn video to disk or ISO. Here https://www.freemake.com/free_dvd_burning_software/ is a more complete description of this program. This program is a good solution if you need to change the video extension or add music to the video. I usually use this program to download videos and burn them to disk. Do you know that you can change the video quality using another extension? As far as I know, this is difficult to do online, but this software will do the job perfectly.