RE: ghci: catching up with hugs?-)