[PATCH www] participating.html: Freenode -> Libera

[Alyssa Ross <hi@alyssa.is>]

The Matrix bridge is "in beta", which I think is good enough.
---
 participating.html | 44 ++++++++------------------------------------
 1 file changed, 8 insertions(+), 36 deletions(-)

diff --git a/participating.html b/participating.html
index 0e8ba65..7b47e8a 100644
--- a/participating.html
+++ b/participating.html
@@ -68,42 +68,14 @@ development</a>.
 
 <p>
 There is a single IRC
-channel, <a href="ircs://chat.freenode.net:6997/spectrum">#spectrum</a>
-on Freenode, for all kinds of Spectrum discussions.  If you're new to
-IRC, you might find
-Freenode's <a href="https://webchat.freenode.net/#spectrum">web
-chat</a> the easiest way to get started.  The channel
-is <strong>logged</strong>, and the logs
-are <a href="https://logs.spectrum-os.org/spectrum/">published</a> on
-the web.
-
-<p>
-<strong>We will be moving
-to <a href="https://libera.chat/">Libera.Chat</a> as soon as
-a <a href="https://github.com/matrix-org/matrix-appservice-irc/issues/1324">Matrix
-bridge</a> is available.</strong>
-
-<h3>Note for Matrix users</h3>
-
-<p>
-There appears to be an issue with Matrix's IRC bridged room that prevents
-Matrix users from joining the channel with the normal alias
-#freenode_#spectrum:matrix.org. There are the following workarounds:
-
-<ul>
-  <li>Join the room via it's internal name:
-    <kbd>/join !ZsIiqZmCTSWHpTQWaw:matrix.org</kbd>.
-  <li>Join the room via
-    <a href="https://matrix.to/#/!ZsIiqZmCTSWHpTQWaw:matrix.org">matrix.to link</a>.
-  <li>Ask the bridges appservice to invite you to the room:
-    <kbd>/msg @appservice-irc:matrix.org !join #spectrum</kbd> and accept the invite.
-</ul>
-
-<p>
-If you experience this issue, kindly report it to the people who run
-the Matrix IRC bridge.  If you are able to join the channel without
-the workaround, please report that in #spectrum so the website can be
-updated.
+channel, <a href="ircs://irc.libera.chat:6697/spectrum">#spectrum</a>
+on <a href="https://libera.chat/">Libera.Chat</a>, for all kinds of
+Spectrum discussions.  You can also join
+through <a href="https://matrix.org/">Matrix</a>
+as <a href="https://matrix.to/#/#spectrum:libera.chat">#spectrum:libera.chat</a>.
+If you're new to IRC, you might Matrix the easiest way to get started.
+The channel is <strong>logged</strong>, but the logs are not available
+online yet.
 
 <h2 id="mailing-lists">Mailing lists</h2>
 
-- 
2.31.1