Hi All,
Happy Weekend!
Back in January, it was suggested that this list should be indexed ( https://phabricator.wikimedia.org/T242520).
No feedback has happened since and the mailman update to allow searching is unblocked.
If this is something still or not desired, please indicate on the task.
Thanks, Samuel