Re: [GHC] #13392: ghc --show-options lists flags twice