How to switch back to first world?

I have two worlds after installing magma (my software setting was on forged). Apparently, because I switched to the magma software my server generated a new world. Now in my "worlds" section there are two world files.

I don't want to download and upload it into the new world created by the magma software (as my "pixelmon" world file is huge), how do I do a simple switch?

Quote from Roman

fixed it for you.

We recommend in general to always keep the world name default

In an alternate universe, I would have appreciated you taking a step ahead and switching the worlds for me. Unfortunately in this universe, I ended up downloading one world file and uploading it onto the other, which took about 30 minutes because the file is huge, and then played on it and made further progress. (my friend was like, "WHERE'S MY ARCEUS?")

So now... I have to download and upload the worlds again (switching) XD! I just want to know how I can pick which world should be the active world and not have to download and upload, which is very inefficient.

oh! thank you, i searched everywhere on the Aternos.org tabs, but I couldn't reach https://aternos.org/options/server.properties. The best I i could find was https://aternos.org/options/ which didn't have all the property options like "World name" change.

Perhaps I will make a post about this problem on Feedback/Suggestions.

Yes, I did that and thank you, but I wouldn't have gotten to the link if you didn't send it. What I was saying is that link is not accessible, or at least not easily accessible, through searching in the aternos.org/server tabs. How can a user access https://aternos.org/options/server.properties within the tabs without having to directly enter the link?

I see. If all users can use it, there'd be more forum help posts than can't. Can the alternative be to include it as "advance options" and with a warning that says something like "BACK UP YOUR SERVER BEFORE USING THESE OPTIONS"?

...or another reason the link got left out is because these options significantly slow down all the other servers if used more frequently?

I think understand now, I will not be posting this on Feedback/Suggestions. How do I close this post?