[bmikaili]

they're probably just using something like https://github.com/nor-dee/spotizerr-spotify

[WD-42]

No way, that would take far too long.

[bigyabai]

Probably not, those tools don't actually download Spotify tracks at source quality.

[sunaookami]

There are tools that actually download directly from Spotify (needs premium then) but yeah most of them just use the search and download from other sources like YouTube without mentioning it. I won't say which tools download directly out of fear that they get killed but they exist.