Thank you, Andrew
In checking out how to make BIAB MIDI seamlessly work with Synth V, it would be great also to see why some people are having problems getting generated-harmonies (MIDI, not Audio) on to separate tracks in the exported MIDI file. The method I find sometimes works is to generate the harmony, then mute every track except the melody track, then Hit File>Save Special>MIDI>Type 1. Sometimes this will give you a MIDI file with separate tracks, and sometimes it does not, and I can't figure out why it is inconsistent. The method I find always works is to reopen the file in RealBand, which has the option, when creating MIDI harmonies, to assign each harmony part to a separate track. So RealBand is actually perfect in both its export of MIDI lyrics (not as text) as well as separate harmony tracks (needed by Synth V.)
I didn't post this issue here, because I already had a workaround, but after I posted the above demos of Synth V singing BIAB harmonies on other boards concerned with Synth V (Synthesizer V Forum, and VI-Control) several people said they bought BIAB just because of how well this feature works. But one user PM'd me and said he bought BIAB just for this purpose but couldn't get the separate tracks, and I told him about RealBand, and he said he used Mac which doesn't have a Mac version. I showed him another, more cumbersome, workaround, but it would be great if this also was quick and simple in BIAB.