Thread:Mainframebabe/@comment-27860632-20180315162641/@comment-30544675-20180315174113

And that's another problem that we have all had:  it's hard to rename a file after uploading it. If you made a mistake with the name, your choices are to upload it again, ask an admin to fix it, or live with it. That is my understanding.