Don't show the ghci :? output in the user guide