Hi,A proposition has been made that we alter our website to direct people for IRC to Libera Chat rather than Freenode.
Personally, I do not use IRC at all, so I have no real opinion on this question. I have nothing against Freenode myself, but if users have moved off of Freenode, then I guess the question is rather moot.
I understand that people sometimes have quite strong views on these things so I guess I'm putting it out there for comment.
Cheers, Ralph
