Update documentation (overdue) to reflect move to github