Hacker News Reader

Didn't test myself, but a quick google search reveals: https://soundiiz.com/tutorial/export-spotify-to-text

I believe you can use Spotify API [^1] to get that list and then reformat it in any way you would prefer and save it to a file.

Actually, I have this on my TODO list for a long time, maybe someday I'll finally implement it.

You might have to copy all your liked/favorites to a regular playlist for it to show up.