A set of tools for downloading mailman list archives