Clarify the different repos.