If someone tries to upload a non .zip file as a submission, they get the following error : <img width="296" height="73" alt="Image" src="https://github.com/user-attachments/assets/4ef43a8b-33f8-4b7e-8d0c-9d3e1bbae671" /> It would be much better if the error was more descriptive of the problem so that the user knows to upload the correct file extension