A searchable archive of this mailing list would be a great boon for an old fellow like myself who finds that his memory (along with several other aspects of his life), isn't as sharp as it once was.