> Matthew, can you explain why you changed occurrences of > > [mailto:MLton@mlton.org MLton@mlton.org] > > to > > [mailto:MLton@mlton.org] IIRC, it was just to make them all consistent. > I prefer the former because the "mailto:" is not visible and is only > in the URL if one clicks on it. I have no objection.