I'm wondering if there is a way besides copy and pasting each song out of the songbook. To export each song into a .txt file or similar without exporting it as a .json.