Resolved! Two Simple Ways to Convert VLC to MP4