I uploaded a .zip file. Then I decided to add to my local .zip file and upload it again, with the same name. The upload appeared to proceed successfully until the end, when I was informed that the file already exists. The only option was to cancel the upload (which mostly happened), delete the opendrive file, and do the upload again. It would be helpful if:
1) After uploading a file name which already exists, I was given the option to replace the previous file, and avoid deleting, browsing, and uploading again.
2) Same as above, but allow me to rename the newly uploaded file (I still prefer suggestion 1).
Thanks, Eric