Renaming worlds using menu

[Melkor]

This is a function we all need

It would be a lot easier if we could edit from within Luanti, rather editing the world.mt file in our directories.

[ocsupertoner]

I agree, this seems like a good addition to the menu. Possibly, we could add this along with viewtopic.php?t=32008. The main menu is a bit sparse, currently. But the question is, would it make it more difficult to revise the main menu aftwerward?

[sfan5]

There's a Github issue for this: https://github.com/luanti-org/luanti/issues/16621