Re: [GHC] #8600: ghc --help is outdated