Re: Should we occasionally merge haddock master into ghc-head?