From 36d5ebafa3ce59ffadfc90c6170e860c38578b78 Mon Sep 17 00:00:00 2001
From: Jonathan <4561747+gilgongo@users.noreply.github.com>
Date: Sun, 19 Jul 2020 10:34:06 +0100
Subject: [PATCH] Update for max occupants and "#" filter

---
 src/res/homepage/manual.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/res/homepage/manual.md b/src/res/homepage/manual.md
index 1cff31b1..e605eb53 100644
--- a/src/res/homepage/manual.md
+++ b/src/res/homepage/manual.md
@@ -60,7 +60,9 @@ pressing this button will end the session.
 
 ![Connect dialog](connect.png)
 
-The Connection Setup window shows a list of available servers. Server operators can optionally list their servers by musical genre. Use the List dropdown to select a genre, click on the server you want to join and press the Connect button to connect to it. Alternatively, double-click on the server name. Permanent servers (those that have been listed for longer than 24 hours) are shown in bold.
+The Connection Setup window shows a list of available servers together with the number of occupants and the maxmium number supported. Server operators can optionally list their servers by musical genre. Use the List dropdown to select a genre, click on the server you want to join and press the Connect button to connect to it. Alternatively, double-click on the server name. Permanent servers (those that have been listed for longer than 24 hours) are shown in bold.
+
+You can filter the list by server name or location. To list only occupied servers, enter a "#" character.
 
 If you know the IP address or URL of a server, you can connect to it using the Server Name/Address
 field. An optional port number can be added after the IP address or URL using a colon as a separator, e.g,