Re: Extra file in GHC repo