I thought it would be useful to collect in one place the information about who's working on which port of the x86_64 branch and what the status is. So, I've put up http://mlton.org/PortStatus I've filled in the table with my best guesses. Please update the information as appropriate.