+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
Amir, Kunal and everyone who helped: Thank you for getting Mailman 3 into production, and
removing Mailman 2. Your effort is much appreciated.