[MLton] logging into the wiki

[Michael Norrish]

I've forgotten my password, and despite what the Preferences page
says, there's no button to get my password e-mailed to me. 

Michael.