Re: [GHC] #9500: Allow GHC defaults to be modified with an environment variable