Re: ghc-compete, a repository of fingerprints, and continuous integration