Rewrote shell script. Uses GPG to publish rather than curl.