Yes, I wasn’t thinking about the full blown capability. The question was about the few manual, store-only renames that we have done in the past. Or do I misremember?
In either case, @Qiplex if you have both names already, the easiest might be to just re-upload under the different name.