Didn't take the time to search to see if this has been covered, so I apologize in advance if it already has. Now that the Granddaughter is here, we're taking videos with our phones. Mine saves all videos as MP4 files. I don't have anything on my computer that will let me edit and save as any other format (at least, not that I know of). Any suggestions for good, reliable free video editing software that allows for saving in various formats? TIA!