doc edits to 8.3.1 DAGMan improvement. #3994