Was the contribution a net win in your view or was the effort to help the submitter get the PR correct not worth the time?