Yikes, I just noticed that the user-guide.ps.gz in the Debian MLton (20041109-1) is A4 paper, not letter paper. Bad.