Merge #4174 Stabilize SourceForge mirror, Cmdline export fixes and mo… #722

Job	Run time
check-dev-build	4s
test-release / build-debug / build	1m 23s
smoke-inflator / build-release / build	1m 33s
test-release / test-build	56s
smoke-inflator / smoke-test-inflator	42s
smoke-inflator / notify	0s
test-release / notify	0s
upload-release-s3	10s
upload-deb	27s
upload-inflator	2m 36s
upload-rpm	28s
upload-metadata-tester	1m 9s
notify-discord / Notify Discord	3s
	9m 31s

Provide feedback