Don't use Github API to list overlays, but generate lists of files in target repos

[cosmo0]

• generate lists of files in the csv repository
• directly download the lists (via raw.github.com) then use that to know what to download