That much I’m aware of, question is if there’s a convenient converter of playlist as well as a bulk download of said playlist, I know deemix is a thing which is how I initially got my playlists but having an expanding library is an issue as you can only download slowly a file at a time through other services