Re: [GHC] #15111: GHCi leaks the first modules loaded