[MLton] mlton.org server

[Colin Fleming]

Hi all,

Unfortunately I don't have a lot of time to offer for this project,
but I did just want to echo one of Steve's comments - one negative of
Sourceforge is that the user interface is awful. I know they have just
had an interface makeover which I haven't investigated much, but
historically items such as mailing lists and forums have been
extremely difficult to navigate, search and use. I think something
like a combination of Google services would probably make a nicer end
result. My personal favourite is GitHub but I realise that switching
VCS makes this project significantly more difficult, and they don't
offer mailing lists (although Google can always do that).

As I mentioned I don't have a lot of time right now and I understand
that you're all very busy, so one major factor really should be ease
of the transition - if Sourceforge makes that part easier it may make
sense.

Cheers,
Colin