Do I have to maintain the process of generating *.tar.gz source files and uploading them to SourceForge? Or can I just rely on the "download" button of GitLab, and its download URL? -- Benoît Minisini