Sure sure! Just a fallback to consider if you have trouble locating elsewhere, as I did. Spotify rippers were noticably bad quality, and torrents for music were very scarce compared to other media types. But maybe I missed something or there’s better options now. Dropping $10 for a month to mass download everything at crisp quality isn’t too bad an option, imo.

I use Deezer. You pay for it per month like Spotify, but they have API to just download the songs straight up. I think the open source UI I’ve been using for that is on the rocks a bit, but do far still been working for me

https://www.reddit.com/r/deemix/comments/zlswiz/last_update_is_now_out/