Mention that MR is off by default in GHCi in documentation