Re: Possible Haddock bug affecting GHC docs