[m-rev.] diff: Update IRC network details

[Paul Bone]

The IRC channel has moved to the libera IRC network.
---
 include/contact.inc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/contact.inc b/include/contact.inc
index 43cffc4..ca2b66e 100644
--- a/include/contact.inc
+++ b/include/contact.inc
@@ -155,10 +155,10 @@ other related things.
 
 <p>
 There is a Mercury IRC channel on the
-<a href="http://www.freenode.net">Freenode</a>
+<a href="https://libera.chat">libera.chat</a>
 IRC network.
-Connect to <code>irc.freenode.net</code> and join the <code>#mercury</code>
-channel.
+Connect to <code>irc.libera.chat</code> port <code>6697</code> with TLS
+enabled and join the <code>#mercury</code> channel.
 </p>
 
 <h4>Reddit</h4>
-- 
2.25.1