Re: [GHC] #3351: Generated ghc man page missing xrefs