[Koha-devel] Replacement of mailman (mailing lists)

Hi devs, Should we keep the historical mailing list or move to something modern, like discourse or flarum? Is it something: - we really want/need - we don't want/need - neat we could have Currently the lists are not maintained (messages are not reviewed/no moderation), the mailman version is old, looks like there are a lot of email bounding, etc. Asking for koha-devel first. Cheers, Jonathan