I think version 4 is the best placement, but it does sound edited in as it is.
Unrelated, but would it be possible to make Leia the one that heals Ben? This would make Rey’s “will she turn to the darkside” arc more meaningful as she doesn’t immediately fix her mistake, makes her encounter with Luke more meaningful as she thinks she killed him, and makes her encounter with Ben on Exogol better as Rey realizes he’s alive. Don’t know how easy that would be to pull off though.