production version from server

Downloaded production version from the web server, replacing Github repo
with that (should be similar).