I wonder if there is a way to download a part or the entire Archive onto my
gmail account so that I could enjoy the search function without having to go
through the mailing list server. Does anyone know how big the archives is?