[GHC] #9179: Documentation suggests to use '-hi-diffs' but it should be '-ddump-hi-diffs'