Panel Update 08/25/2023

The fourth panel update, which among other things adds a player list, is now live.

All players on the server are now displayed in the Players tab. With Minecraft servers you can even manage players. (e.g. kick or ban)

In addition, there is now a small sidebar in the file editor to quickly switch between files:

Otherwise there are minor adjustments and bug fixes.