Hi all, I was just notified about some mess going on with Freenode which has seemingly resulted in a mass exodus of users from the freenode servers. There are some updates available at https://gist.github.com/joepie91/df80d8d36cd9d1bde46ba018af497409/ which make it seem like we should no longer point users to #tomcat on freenode (we point to it on https://tomcat.apache.org/irc.html).
Should we take any action on that, like remove the page or update it to point to https://libera.chat/ after we establish a channel there? I'm not sure how much value there is/was in the freenode channel because questions are so infrequent, so we may be able to safely drop the reference. Thanks, Coty