This information must be updated in the process, because it still refers to BioProj even for projects that have been migrated to GitHub.