Comment Comment by mneorr The plan is to use github releases from now on, and shorten using git.io parent mneorr 12 years ago
