Re: [GHC] #15319: Configurable/overridable settings file