);
"MANAGER" ("$bManager Commands:$b",
"ADDHOST Adds the given host to the database.",
"ADDMANAGER Adds a manager to the given group.",
"ASSIGN Adds a user to the given group.",
"DELHOST Deletes the given host from the database.",
);
"MANAGER" ("$bManager Commands:$b",
"ADDHOST Adds the given host to the database.",
"ADDMANAGER Adds a manager to the given group.",
"ASSIGN Adds a user to the given group.",
"DELHOST Deletes the given host from the database.",