DOCS-4554: edits to mongodump --repair