Eventually she’ll be able to redeem the satoshis on a mint and then the mint can send a lightning payment as a withdrawal to her own keys on lightning or a swap to on chain.
Pablo is still working on Olas so it does not have all its features yet. Even nostr protocol itself is being worked on to enable this. (Nip-60)
This is cutting edge.
Try playing with cashu.me if you want to see what’s possible
I use the mint: