> How can I download this mbox you mention? > Also, is there one for mlton-user? I sent you a (temporarily operational) URL for both by private email. For my own edification, could you explain what's wrong with headers provided by pipermail?