users_guide/ghci: Whitespace cleanup (#7501)