Introduce symboldb_download_repo