On the question, how do people search the cmdist archives? They don't -- we use mailman or something, and the only way to search is to get the monthly tarballs and search them!
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
