removed all traces of old GitHub URL (#301).