Comment by mneorr

Since the original one is really long; would make the install script even less readable.

Also, git.io allows only shortening github repos; so there should be no harm