Remove the zip file that should never have got into the repository. Also add a rename which is an experiment with github-pages.