I’d believe either, though the latter feels tiny. Pandora is still better than any of the others listed for discovering new music, IMO. Spotify always seems too conservative with its suggestions, making it worse for discovering new music. Subjective, of course.