Deploy script: stop priming port :80

We went full HTTPS yesterday, so there is nothing at port 80 anymore.

r?