Download failed on Cask 'vlc' with message: Download failed: https://get.videolan.org/vlc/3.0.23/macosx/vlc-3.0.23-arm64.dmg curl: (6) Could not resolve host: get.videolan.org curl: (6) Could not resolve host: get.videolan.org curl: (6) Could not resolve host: get.videolan.org curl: (6) Could not resolve host: get.videolan.org