Yeah, the benefit to streaming is that you can have much larger libraries. I have +5000 songs on my most commonly played lists, and that’s not even my full library. My devices are already full enough with things like game files (emulators), video files (locally downloaded from my Plex/Jellyfin server so I don’t have to stream video on the shitty work WiFi), and videos/photos from daily life. If I can store my music elsewhere, of course I’m going to do so. I’ll keep one or two common playlists automatically downloaded, but the rest gets streamed.