Dear music family, I am looking for an alternative to Spotify and, at the same time, a tool for exporting/downloading my favs songs list, even in plain text. Can anyone help out here?