Re: Feature request for ghci