Tweaks the download script so that filenames follow %04d format
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.