Re: Feature proposal: ghc --full-flag-help ?