Eliminate .ZIP

Brand new to GitHub. Did not realize that it provided an easy "download
zip" button. Handy!