https://gauginggadgets.com/how-to-compress-large-video-files-for-free-with-vlc/