RE: GHCi off by default?