[tor-project] mailman3 status update

Hi again,

We're now live and migrated to mailman3. Everything seems to be working well, but it has been a rather expedited migration, so it's entirely possibles things don't work so well.

If you do find problems, the best way forward is to file an issue in GitLab:

https://gitlab.torproject.org/tpo/tpa/team/-/issues/new

If you can't, you can also visit us on IRC.

The migration is, technically, not fully done yet: the search index have not properly built for some lists, so search (we have search no!!) might not work on all lists. See this issue for details:

https://gitlab.torproject.org/tpo/tpa/team/-/issues/40471

a.