Updating server irc commands.

docs/server_setup_howto.txt

@@ -255,6 +255,32 @@ Display statistics of the server:
 Kick player named "foo" from the server:
 	BotName: kick foo
 
+Show the IP address of player "foo":
+	BotName: showip foo
+
+Ban a certain nick from the server, so it can no longer be used.
+For this command, the name "fooRegex" can be any regular expression.
+(Note: This does not affect players which are currently logged in):
+	BotName bannick fooRegex
+
+Ban a certain client IP address from the server.
+(Note: ipAddress should be in the same format as printed by the
+command "showip"):
+	BotName: banip 1.2.3.4
+
+List all bans currently active on the server:
+	BotName: listban
+
+Remove a ban with a certain id from the list of bans
+(use the ban id from the listban command):
+	BotName: removeban 1
+
+Send a global chat message through the server:
+	BotName: chat This is a global chat message.
+
+Send a global message box through the server:
+	BotName: msg This is a global message box.
+
 The bot always answers to "BotName: " style commands.
 It ignores private messages.