Sorry: I thought that there was a bug you said you introduced. Perhaps that wasn't relevant to the release. Is the mlton-home.tgz I downloaded around 3:45 P.M. central time ok for release as far as you know?