Re: [GHC] #7231: GHCi erroneously unloads modules after a failed :reload