How to re-name world?

[Mantis]

I have an unregistered world, and when I named it, I did not know that the name
I gave it was too long, so instead of Solvo Universitas, it says Solvo universit.
Anyway I can change the name ?

[fhko]

There is a text document in the same folder as the main icon to bring up the server...



Erase the old name, put in one that fits after the 'Name=' part and save the file.