The “Add Server” button under “Explore Community” does not actually, you know, add the server to the list