> I am starting a new make rpms, which will put up a mlton-home.tgz in 10 or so > minutes. Well, that failed. I'm clearly in too much of a rush and things are unstable. We'll try again tomorrow.