In user guide, don't claim that ghci never generates .hi files