Changed GitHub name to something shorter.