man-and-diagram-size