The ZIP file is a match. He added a HEX file. If you want the source, I think you need to clone the repository.