Re: [GHC] #9338: Some ghc options do not seem to be documented: