Switch IRC channel to libera.chat

Author: gapan

chat.t2t

@@ -27,12 +27,9 @@ available at that certain time. You might get instant answers or you
 might have to wait a few hours until someone is able to answer back to
 you.
 
-
 Our IRC channel is named **#salix** and is hosted at the
-**irc.freenode.net** IRC server. You can use your favourite IRC client,
-or you can also log in using the
-[web interface http://webchat.freenode.net/?randomnick=1&channels=salix&prompt=1]
-that freenode.net provides.
+**irc.libera.chat** IRC server. You can use your favourite IRC client to
+connect.
 
 
 % The footer is an external file