I also can't find any info about exporting data for backups or what happens to data if a subscription is paused for a period of time. Since it isn't called out my default assumption is that data is trapped and lost respectively.
Generally looks like something I'd love to use but would be great to clarify those points.
I'm working on a FAQ, but I'll also leave some clarification here:
Songcraft Basic is always free, and your existing songs will never be locked or lost, even if you downgrade from Pro to Basic with more than 3 songs. You can always export any song as plain text.
Comparison info on the plans can be found at https://songcraft.io/plans.
Please let me know if you have other questions!
A user could also disable their subscription for longer periods of inactivity, but that's obviously not ideal for a regular but infrequent project (e.g. a couple days per month).