improvements to manual's DAGMan section. #4617