I tried to download the MiniZinc installer on [this page](https://www.minizinc.org/2.0/install-windows.html), but the [link to the installer](https://github.com/MiniZinc/libminizinc/releases/download/2.2.3/Install.MiniZinc.2.2.3.win32.exe) is currently broken. Is it possible to repair this broken link?