s/-hi-diffs/-ddump-hi-diffs/ in docs (#9179)