@oracularhades.com Btw, re: music streaming services - I’ve been using Deezer for many many years now (Spotify wasn’t available in Poland when it first started to get popular, and Deezer was, and then I just stuck with it) and it’s good. I don’t use recommended playlists etc., but it generally has all the music.