Matthew, can you explain why you changed occurrences of [mailto:MLton@mlton.org MLton@mlton.org] to [mailto:MLton@mlton.org] I prefer the former because the "mailto:" is not visible and is only in the URL if one clicks on it.