Just to let everyone know, http://search.open-bio.org/ is up and running again (using Google to do the hard work), and searching the mailing list archives seems to work pretty well. Peter