The Generate Song List option currently only supports being shared with other applications - it doesn't support being exported as a separate file. I'll have to expand that option on the Windows 10 version so that three choices are made available: share, copy to clipboard or export to file.
Update: I just added this for the next update I'm trying to finish today/tomorrow.
Update: I just added this for the next update I'm trying to finish today/tomorrow.