[Mailman-Developers] Freenode or Libera for IRC?

Hi all. I'm a prospective new contributor [1] presently running through the onboard process.

Wikipedia transitioned from Freenode to Libera [2] which is run by Freenode's former operators [3]. I haven't paid further attention to their breakup drama, but Andrew Lee's post about a "Joseon Empire" on Freenode's frontpage [4] doesn't fill me with confidence.

Just food for thought but has Mailman considered moving to Libera [5]?

Cheers! -Damian

[1] https://blog.atagar.com/ [2] https://meta.wikimedia.org/wiki/IRC/Migrating_to_Libera_Chat [3] https://www.kline.sh/ [4] https://freenode.net/ [5] https://libera.chat/