Re: [GHC] #13101: Enable GHC to be loaded into GHCi