Discord info, replacing IRC

design/privateheader.php

@@ -166,7 +166,7 @@ if ($NotificationsManager->is_skipped(NotificationsManager::SUBSCRIPTIONS)) {
           </li>
           <li id="nav_irc"<?=
             Format::add_class($PageID, ['chat'], 'active', true)?>>
-            <a href="chat.php">IRC</a>
+            <a href="chat.php">Discord</a>
           </li>
           <li id="nav_top10"<?=
             Format::add_class($PageID, ['top10'], 'active', true)?>>