[Mailman-Developers] Re: Freenode or Libera for IRC?