Re: [GHC] #13706: ghci messages like "Ok, modules loaded: ..." are impractical for large sets of modules