Update ghci example output in user guide; patch from YitzGale in #4111