The server download button on the main site is now fixed, the incorrect filename being selected so it couldn't find the file. This issue is separate to the other repo issues we have been experiencing again if you do have any issues downloading the server you can use the filter option in the launcher to download it direct from there