Fixes download 23-rc1 file names

4 jobs for fix/filenames in 13 minutes and 46 seconds (queued for 2 seconds)