Re: no-Haddock GHC build