My project at one point used the "files" tab to distribute its code as a zip. Since I've moved to using Git, I've removed the zip files from the project. However, the project summary page still shows the old, removed file as the download link, clicking on which generates an error and takes you to the (empty) files tab.
I doubt this is intended behavior, and it would likely prove a signficant obstacle to anyone who wished to download my project (not that anyone does anyway). Is there any way to reset the download button, and/or remove the Files tab entirely?