Thanks for mentioning SingleFile. I’m not using it right now.

Spotify scrobbles to LastFM. Maybe they have an API or export solution? All you would have to do is play your playlist straight through once after connecting to LastFM.

I don’t know about importing it further as I don’t know what Navidrome is.