Aaron> As far as I can tell, mailman doesn't have a search feature.
Sure it does. It's called Google! Search Google for something like
tox site:lists.idyll.org
Then add whatever other search terms you want to constrain the output.
--
Skip Montanaro - skip at pobox.com - http://www.smontanaro.net/