Problem

Currently renaming world requires access to Luanti files (Lacking in Android 14 and up), and knowledge of how world names are stored.

A request was made in the subreddit to add an accessible way to rename worlds, which doesn't require editing files in the world folder, and which would also work on Android phones not running pre-2022 versions of Android.

Solutions

I suggest a simple main-menu button to rename worlds, under the other world settings on the left-hand side.

Alternatives

A solution that would be more future-bloat-proof and which would simplify the UI, is to move world settings to a new page accessed with a "world settings" button, containing a "world name" field akin to settings fields, so that more world settings can be added in the future without world menu bloat. This would also make it more intuitive for new users that the left-hand settings aren't global, but world specific.