Improve sync tool logging of batch request retries

See the changes suggested in !15 (merged) that didn't make it into the merge.