We moved our IRC presence to the Libera.chat network, similarly to many other Free and Open Source projects due to recent events.

Discord stays the primary communication channel.