Update the ghci "loading" section of the user guide