How do I find out about the `-diag' option to MLton? I never heard about it except in the mail from you (Stephen).