main
chore: support repo list filter for downloads script; add scripts/repos.txt
Improve: update Authorization header to Bearer in update_downloads.py