Merge pull request #346 from jfriesse/move-to-irc

IRC channel is now on Libera Chat

index.html

@@ -91,7 +91,7 @@ <h2>Resources</h2>
           <span style="font-family: &quot;Proxima Nova&quot;;"></span></li>
         <li><span style="font-family: &quot;Proxima Nova&quot;;"><a href="https://trello.com/b/Aqq9xJfF/todo"
               target="_blank">TODO list and activities tracking</a> (trello)</span></li>
-        <li>IRC: #kronosnet channel on irc.freenode.net</li>
+        <li>IRC: #kronosnet channel on <a href="ircs://irc.libera.chat:6697">irc.libera.chat</a></li>
         <li>Mailing Lists</li>
         <ul>
           <li><a href="https://lists.kronosnet.org/mailman/listinfo/users" target="_blank">Users</a></li>