Minecraft wiki entry for Server_maintenance, associated text: 1 Creating backups
2 Managing players
2.1 Reset player
2.2 Ban player
2.3 Edit player
3 Setting textures
3.1 Setting the server's resource pack
3.2 Setting the server's icon
4 Resetting the Nether or the End