https://bigboxsoftware.blogspot.com/2020/06/vlc-media-player-version-3011-for-mac.html