Re: capturing ghci command output; :redir/:grep/:find