I've migrated mlton.org from a RedHat 7.3 machine to a Debian 3.1 machine. The idea is that this should be transparent to users, but there was a lot of stuff that changed. So, please let me know if you encounter problems with any of the the mlton.org services (accounts, svn, web, mailing lists, etc.).