Re: [GHC] #9861: ghc readme provides out of date git clone directions