Re: [GHC] #15295: Haddock options should be concatened