+1.  This is a really nice improvement, especially when it comes to searching the archives.  Thank you to everybody who helped make this happen.

On Jun 2, 2021, at 3:37 PM, Martin Urbanec <martin.urbanec@wikimedia.cz> wrote:

Amir, Kunal and everyone who helped: Thank you for getting Mailman 3 into production, and removing Mailman 2. Your effort is much appreciated.