Re: [GHC] #8239: Wrong link in docs