Re: [GHC] #11389: Print a message when loading a .ghci file