Is there gonna be a feature to access the server properties file?
Its a important file for the server admins because it allows you to change deep settings in the server.
i know it will exceeds the security of Aternos, but you can add some of the allowed settings in that file to the options file so you will be able to hide some settings to keep aternos security safe and at the same time we will be able to change important settings for us as a servers Owners!
And at the end, aternos is a great servers-hosting anyways.