Use shorten syntax for github repo in installation instructions