Is there a (searchable) archive of the mailing list on the mailman server somewhere? If not, perhaps one should be started. It is, after all, literally just a click of a button in mailman. Paul Baranowski