Re: [GHC] #13198: incorrect links and file names in GHC user's guide