We add a script and a CI workflow to check that all download links present in the source code are valid.