20240517: learn curl scripts to download data