Correct user guide on when .ghci is read