Allow users to edit their custom made theme names

Describe your feature request
Users would be able to change the name of their themes after being published.
What problem(s) would this feature solve?
This isn’t really a problem, but it would help satisfy people that aren’t happy with their theme name anymore.
Explain what you were trying to do when you came across the problem leading to this feature request
When I first started Replit, I made multiple themes to try and experiment with the colors and once I was finally satisfied, I published it. I did not expect it to get popular, but when it did, the name seemed weird to me and when I tried to change the name, I couldn’t. I don’t want to create a new theme and lose all the views so that’s why I hope this feature will be accepted, thank you!


I also agree with this, I published my theme so I could share it with a few friends, then realized I would like to change the theme name and cannot. (For reference: I literally called the theme “My theme”)


Are you sure? To me it seems like something that should be really easy. We can rename Repls but not themes. This seems like a problem to me. I’ve tried it before.