shorten names, fix URIs to github