For the puppet show, would adding in some other proper names help clarify things too? “Skywalker,” “Crait,” “First Order”…
And for a Ben final line…I was thinking that too, a while back. I think there’s a danger of adding something that’s really lame and cheesy though. Like, “No one’s ever really gone,” after the Jedi have already appeared to her…feels kinda lame to me. (You’re too late to the party, Ben! Everyone else has already gone home, BEN!)
If we added something else, I would say to keep it simple. “I’m sorry” or “Rey, no…” as he’s going over to her body. Or just a quiet “Thank you” before he dies. Oh! Or what if he calls out to her right before she sees him and gives him the lightsaber? (“Rey…”) Not super deep, perhaps; but conceptually, I think it would flow well.
Or scream “NOOOOOOOO” as he falls into the Infinity Pit.