I’m not entirely sure how it works; I don’t know if I can see if someone from Lemmy.world replies to my comments in other communities. I don’t think so, since I can’t remember ever seeing a Lemmy.world commenter, but I’m not totally clear on how defederation works. I think we just don’t see those users at all, including posts/comments they make to other instances?

Correct