IRC: move from Freenode to Libera.chat

Due to internal politics at Freenode, it's time to move to libera.chat

Archive/FAQ.md

@@ -109,7 +109,7 @@ mailing lists.  Check the support page for more details:
 
 + You can ask questions to other fvwm users on the forums:
   <http://fvwmforums.org>
-+ You can also ask questions on `#fvwm` on `freenode`.
++ You can also ask questions on `#fvwm` on `libera.chat`.
 
 #### What should I name my config file (config or .fvwm2rc)?
 

Community/index.md

@@ -87,10 +87,10 @@ answers and discussions from the users of Fvwm. Use the forums to search
 for answers to previous questions or ask new ones. Share your configurations
 and screenshots.
 
-## \#fvwm on Freenode
+## \#fvwm on IRC
 
 You can find various members of the Fvwm community in the IRC channel
-`#fvwm` on irc.freenode.net. Stop by to ask questions or just to say hello.
+`#fvwm` on `irc.libera.chat`. Stop by to ask questions or just to say hello.
 
 ## Fvwm Mailing Lists
 

Wiki/Irc/HashFvwmFAQ/index.md

@@ -48,10 +48,10 @@ intelligent questions based on the answer.
 
 ## Why can't I join \#fvwm?
 
-Sometimes, the freenode gods, or ops of #fvwm (see [:HashFvwmIrcFaq#4:FAQ 4]
+Sometimes, the IRC gods, or ops of #fvwm (see [:HashFvwmIrcFaq#4:FAQ 4]
 may well decide to limit the type of users who's allowed to join a channel.
 In the best case, this will just be to restrict those people who do not have
-registered nicks.  To register your nickname on freenode, the following
+registered nicks.  To register your nickname on IRC, the following
 should suffice:
 
      /msg nickserv register <your-password>
@@ -91,7 +91,7 @@ message one of the following people:
 
 (The list gets longer and longer...)
 
-You can also ask in #freenode, if none of the above people respond to you.
+You can also ask in #libera, if none of the above people respond to you.
 
 ## Who is Wombat?
 
@@ -182,7 +182,7 @@ continues to annoy, the ops can help, at their discretion.
 
 ## Are the conversations that take place in \#fvwm logged?  If so, are they available for viewing?
 
-Any public channel on freenode is potentially logged.  That is to say, it's
+Any public channel on IRC is potentially logged.  That is to say, it's
 either the intent of the channel from the outset that the entire
 conversation is logged and made publicly available, or, as is the case for
 \#fvwm, individuals log conversations.

Wiki/Irc/index.md

@@ -4,15 +4,15 @@ title : Irc
 type : main
 weight : 300
 description : |
-  #fvwm on irc.freenode.net has been a gathering place for Fvwm users.
+  #fvwm on irc.libera.chat has been a gathering place for Fvwm users.
   Here is the channel FAQ and a few conversations that occurred on irc.
 
 ---
 
-# \#fvwm on irc.freenode.net
+# \#fvwm on irc.libera.chat
 
 A community of Fvwm users and developers can be found on the
-`#fvwm` IRC channel on freenode (`irc.freenode.net`). Please
+`#fvwm` IRC channel on libera (`irc.libera.chat`). Please
 stop by if you have questions about Fvwm or just want to talk
 about the fantastic window manager.