Since there is renewed interest in the style guide, as a way of getting it out there, what do people think of making it a section of the User Guide right before the MLton extensions section? At least some of it certainly applies to the conventions we use in the MLton structure.