Arras.io - Start Menu Modifier

Makes the start menu better to look at and adds a setting to hide empty servers.

As of 2024-01-11. See the latest version.