What's changed
The dashboard and the Discord bot now show the same server names as the game panel.
Renaming a server with the Discord bot's /rename command renames it in the game panel too.
Improved
Renaming or deleting a server in the game panel updates the website
If you rename a server in the game panel, or a server is deleted there, your dashboard shows it within about a minute.