Re: [commit: ghc] master: Mention that MR is off by default in GHCi in documentation (5bda0d0)