Yep, spotDL is nice. It does however not download from Spotify directly because of legal reasons. Instead, it searches the songs on other sites, for example YouTube Music, and downloads them from there. So YMMV based on which songs you’re trying to get.