> I'm updating the documentation to reflect the MLton.Profile structure. Any reason not to mention the -color option in the profiling documentation? (Note: here's another case where having accurate SSA labels for profiling would be better.) Maybe that's reason enough not to mention it for now.