RE: [commit: ghc] master: Re-work the naming story for the GHCi prompt (Trac #8649) (73c08ab)