Re: [GHC] #9970: Export more types in GHC.RTS.Flags