I completely agree with your suggestions for improvements to the ML-Doc tool, but I would add what I consider the most serious problem: in the `Description' section, the type signature of the object being described is not included. This is an incredible pain for large structures.