Thank you! Do you mean exporting the songs as audio files you can listen to? Saving them as .txt files to load them in the app should hopefully work already. For audio files, there's a little tutorial video on the page as a workaround. :)
