Server updates. Removed dead channels link.HEADmaster

3 files changed, 2 insertions, 3 deletions

diff --git a/_layouts/default.html b/_layouts/default.html
index a11d158..194f230 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -67,7 +67,6 @@
                         <li><a href="index.html">Home</a></li>
                         <li><a href="servers.html">Servers</a></li>
                         <li><a href="staff.html">Staff</a></li>
-                        <li><a href="http://searchirc.com/searchirc.php?SCHANS=1&amp;SSORT=SIZE&amp;N=InsomniaIRC">Channels</a></li>
                     </ul>
                 </nav>
             </header>
diff --git a/servers.md b/servers.md
index bb75804..7a24b50 100644
--- a/servers.md
+++ b/servers.md
@@ -6,7 +6,7 @@ Please connect using the round robin: [irc.insomniairc.net][irc] since servers
 may come and go. But if you must know, we have two servers:
 
 * hypocrisy.insomniairc.net (IPv6, SSL)
-* euclid.insomniairc.net (IPv6, SSL)
+* leibniz.insomniairc.net (IPv6, SSL)
 
 The port is 6667, as usual. SSL is available on 6697.
 
diff --git a/staff.md b/staff.md
index 8ffc8fe..6ff3ebc 100644
--- a/staff.md
+++ b/staff.md
@@ -23,6 +23,6 @@ We're not quite sure where jonbo came from.
 # Weyoun
 Email: <weyoun@insomniairc.net>
 
-Weyoun, who goes by many names, runs [Euclid](servers.html).
+Weyoun, who goes by many names, runs [Leibniz](servers.html).