Matthew, any idea why Heath contacted you instead of sending to the list? My preference would be to encourage users to contact MLton@mlton.org rather than us individually. Along these lines, I would prefer the FAQ question that mentions ML-RISC and ML-NLFFI to do this. Actually, it would be even better to add the page to the wiki for each port and to keep the status there.